diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-29 16:53:19 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-29 16:53:19 +0000 |
commit | 194c5b6f04c7c9bec8c0f23b88ac8d0f0094186a (patch) | |
tree | 20faf669228e725a7521311841a13b5ddbb71a78 /.cproject | |
parent | b99ec8f0f659884d30c5fa1a9312addd07e75059 (diff) |
First draft implementation of SMT v2 parser
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" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/> +<entry excluding="parser|smt2" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/> </sourceEntries> </configuration> </storageModule> |