This commit is contained in:
Tiago Gomes
2013-02-08 00:20:01 +00:00
parent 973df43fe0
commit 206cf0a9c7
27 changed files with 27 additions and 27 deletions

View File

@@ -307,5 +307,5 @@ class LiftedKc : public LiftedSolver
} // namespace horus
#endif // YAP_PACKAGES_CLPBN_HORUS_LIFTEDKC_H_
#endif // YAP_PACKAGES_CLPBN_HORUS_LIFTEDKC_H_