update

src/CommonSOG.h

@@ -7,6 +7,8 @@
 #include "NewNet.h"
 #include <stack>
 class LDDState;
+
+
 typedef pair<LDDState *, MDD> couple;
 typedef pair<couple, Set> Pair;
 typedef stack<Pair> pile;