diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-13 05:30:30 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-13 05:30:30 +0000 |
commit | 8394cecaf2b1a261b44af54501ef1a433cdbadc2 (patch) | |
tree | d4af6dec9e07b2406a84785eea73a1480c91580f /.cproject | |
parent | 7730b9562b11d13236ce566f15ede0cb3416fe21 (diff) |
Minor refactorings to PropEngine, SatSolver
Diffstat (limited to '.cproject')
-rw-r--r-- | .cproject | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -44,7 +44,7 @@ </toolChain> </folderInfo> <sourceEntries> -<entry excluding="parser|smt2" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/> +<entry excluding="prop|parser|smt2" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/> </sourceEntries> </configuration> </storageModule> |