#13 Turned on choice-else rewriting

ftsrg · Oct 8, 2024 · c1d67d8 · c1d67d8
1 parent 6d15051
commit c1d67d8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/subprojects/semantifyr/src/main/kotlin/commands/CompileCommand.kt b/subprojects/semantifyr/src/main/kotlin/commands/CompileCommand.kt
@@ -34,7 +34,7 @@ class CompileCommand : CliktCommand("compile") {
 
         val transformer = XstsTransformer(reader)
 
-        val xsts = transformer.transform(targetName)
+        val xsts = transformer.transform(targetName, rewriteChoice = true)
         val xstsString = Serializer.serialize(xsts)
 
         val outputFile = output ?: File(model.path.replace(".oxsts", ".xsts"))

diff --git a/subprojects/semantifyr/src/main/kotlin/commands/VerifyCommand.kt b/subprojects/semantifyr/src/main/kotlin/commands/VerifyCommand.kt
@@ -30,7 +30,7 @@ class VerifyCommand : BaseVerifyCommand("verify") {
 
         val transformer = XstsTransformer(reader)
 
-        val xsts = transformer.transform(targetName)
+        val xsts = transformer.transform(targetName, rewriteChoice = true)
         val xstsString = Serializer.serialize(xsts)
 
         val output = model.path.replace(".oxsts", ".xsts")