From eaa01d355abd0e69bfec9d5b61f1330f42ff1fe8 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Mon, 5 Apr 2010 04:01:35 +0000
Subject: STP: Remove stray semi-colons.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100391 91177308-0d34-0410-b5e6-96231b3b80d8
---
 stp/sat/VarOrder.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stp/sat/VarOrder.h')

diff --git a/stp/sat/VarOrder.h b/stp/sat/VarOrder.h
index 6ad1bfb1..6d2a40f0 100644
--- a/stp/sat/VarOrder.h
+++ b/stp/sat/VarOrder.h
@@ -142,5 +142,5 @@ namespace MINISAT {
   
   
   //=================================================================================================
-};
+}
 #endif
-- 
cgit 1.4.1