Rematerialize

Author: ttuegel

nix/kore.nix.d/kore.nix

@@ -283,6 +283,7 @@
           "Kore/ModelChecker/Bounded"
           "Kore/ModelChecker/Simplification"
           "Kore/ModelChecker/Step"
+          "Kore/Options"
           "Kore/Parser"
           "Kore/Parser/CString"
           "Kore/Parser/Lexer"
@@ -987,6 +988,7 @@
             "Test/Kore/Log/ErrorBottomTotalFunction"
             "Test/Kore/Log/WarnFunctionWithoutEvaluators"
             "Test/Kore/Log/WarnSymbolSMTRepresentation"
+            "Test/Kore/Options"
             "Test/Kore/Parser"
             "Test/Kore/Parser/Lexer"
             "Test/Kore/Parser/Parser"