Fix output_dir being changed to definition_dir

runtimeverification · Mar 22, 2024 · 04b867a · 04b867a
1 parent 71c088c
commit 04b867a
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/kevm-pyk/src/kevm_pyk/__main__.py b/kevm-pyk/src/kevm_pyk/__main__.py
@@ -149,14 +149,12 @@ def exec_version(options: VersionOptions) -> None:
 class KompileSpecOptions(LoggingOptions, KOptions, KompileOptions):
     main_file: Path
     target: KompileTarget
-    output_dir: Path | None
     debug_build: bool
 
     @staticmethod
     def default() -> dict[str, Any]:
         return {
             'target': KompileTarget.HASKELL,
-            'output_dir': None,
             'debug_build': False,
         }
 
@@ -165,7 +163,7 @@ def exec_kompile_spec(options: KompileSpecOptions) -> None:
     if options.target not in [KompileTarget.HASKELL, KompileTarget.MAUDE]:
         raise ValueError(f'Can only call kevm kompile-spec with --target [haskell,maude], got: {options.target.value}')
 
-    output_dir = options.output_dir or Path()
+    definition_dir = options.definition_dir or Path()
 
     optimization = 0
     if options.o1:
@@ -179,7 +177,7 @@ def exec_kompile_spec(options: KompileSpecOptions) -> None:
 
     kevm_kompile(
         options.target,
-        output_dir=output_dir,
+        output_dir=definition_dir,
         main_file=options.main_file,
         main_module=options.main_module,
         syntax_module=options.syntax_module,