diff --git a/src/duality/duality_rpfp.cpp b/src/duality/duality_rpfp.cpp
index 6ef6d623a..764fc72ad 100755
--- a/src/duality/duality_rpfp.cpp
+++ b/src/duality/duality_rpfp.cpp
@@ -2478,7 +2478,7 @@ done:
           expr junct = negate ? Negate(f) : f;
           lits.push_back(junct);
       }
-  }|
+  }
 
   struct TermLt {
     bool operator()(const expr &x, const expr &y){