diff --git a/bin/miniImpInterpreterReg.ml b/bin/miniImpInterpreterReg.ml index c270969..a8b1a19 100644 --- a/bin/miniImpInterpreterReg.ml +++ b/bin/miniImpInterpreterReg.ml @@ -37,7 +37,8 @@ let () = in let checkundefined = Clap.flag - ~description: "Optional flag for disabling the check for undefined variables." + ~description: "Optional flag for disabling the check for undefined \ + variables." ~section: values ~unset_long: "undefined" ~unset_short: 'u' @@ -45,7 +46,8 @@ let () = in let optimizereg = Clap.flag - ~description: "Optional flag for disabling optimizing registers with liveness analysis." + ~description: "Optional flag for disabling optimizing registers with \ + liveness analysis." ~section: values ~unset_long: "liveness" ~unset_short: 'l' @@ -128,9 +130,9 @@ let () = RISC.convert in - if not evalb - then Printf.fprintf outch "%a\n" RISC.RISCAssembly.pp return_value - else Printf.fprintf outch "%d\n" (RISCSemantics.reduce return_value) + if evalb + then Printf.fprintf outch "%d\n" (RISCSemantics.reduce return_value) + else Printf.fprintf outch "%a\n" RISC.RISCAssembly.pp return_value in let inx = In_channel.open_text input in