diff options
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> |