about summary refs log tree commit diff homepage
path: root/stp/sat/Sort.h
diff options
context:
space:
mode:
Diffstat (limited to 'stp/sat/Sort.h')
-rw-r--r--stp/sat/Sort.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/stp/sat/Sort.h b/stp/sat/Sort.h
index a7011edb..9def2990 100644
--- a/stp/sat/Sort.h
+++ b/stp/sat/Sort.h
@@ -129,5 +129,5 @@ template <class T> void sortUnique(vec<T>& v) {
 
 
 //=================================================================================================
-};
+}
 #endif