Commit 6e79afed authored by Jan Rasmus Tikovsky 's avatar Jan Rasmus Tikovsky
Browse files

Update exported modules of package smtlib

parent ca64d2bc
......@@ -15,6 +15,7 @@
"kics2": ">= 2.0.0"
},
"exportedModules": [ "Language.SMTLIB",
"Language.SMTLIB.Files",
"Language.SMTLIB.Goodies",
"Language.SMTLIB.Parser",
"Language.SMTLIB.Pretty",
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment