diff --git a/src/library/meng_paulson.cpp b/src/library/meng_paulson.cpp
index a80272d8b..ab32c0f50 100644
--- a/src/library/meng_paulson.cpp
+++ b/src/library/meng_paulson.cpp
@@ -151,7 +151,6 @@ public:
                             Rel.insert(T);
                             A.insert(T);
                         });
-
                 });
             if (Rel.empty())
                 break;