removed leftover lingeling

ModelWriter · Sep 29, 2017 · 86b824e · 86b824e
1 parent e5c96da
commit 86b824e
Showing 1 changed file with 0 additions and 49 deletions.
diff --git a/SAT/LingelingInterfacingDummy.hpp b/SAT/LingelingInterfacingDummy.hpp