chore(library/meng_paulson): fix style

2015-10-14 21:02:17 -07:00 · 2015-10-14 21:02:17 -07:00 · 5b6b8257d8
commit 5b6b8257d8
parent b7e79dea29
1 changed files with 0 additions and 1 deletions
--- 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;