diff options
| author | pacien | 2018-04-29 20:41:39 +0200 |
|---|---|---|
| committer | pacien | 2018-04-29 20:41:39 +0200 |
| commit | 97a5d3600a06e2edbd6bb6faa6fa0728add0d5d3 (patch) | |
| tree | a859ae11723730440de10569a2d4081e13ceab49 /src/main.ml | |
| parent | 0647f37eebbefb8446fc8abfc533a23952fbb8be (diff) | |
| download | urm-97a5d3600a06e2edbd6bb6faa6fa0728add0d5d3.tar.gz | |
Rename URM types and fix urm_from_eurm signature
Diffstat (limited to 'src/main.ml')
| -rw-r--r-- | src/main.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/main.ml b/src/main.ml index 2f8d57c..3e66645 100644 --- a/src/main.ml +++ b/src/main.ml | |||
| @@ -27,4 +27,3 @@ let () = match Sys.argv with | |||
| 27 | | [| _; "run-tests" |] -> () (* handled in test files *) | 27 | | [| _; "run-tests" |] -> () (* handled in test files *) |
| 28 | | [| _; mode; prgm; regs |] -> run (run_mode_of_string mode) (read_prgm prgm) (read_regs regs) | 28 | | [| _; mode; prgm; regs |] -> run (run_mode_of_string mode) (read_prgm prgm) (read_regs regs) |
| 29 | | _ -> print_endline "Usage: urm <run-tests | run <prgmfile> <regfile> | trace <prgmfile> <regfile>>" | 29 | | _ -> print_endline "Usage: urm <run-tests | run <prgmfile> <regfile> | trace <prgmfile> <regfile>>" |
| 30 | |||