diff options
| author | pacien | 2018-04-22 20:54:32 +0200 |
|---|---|---|
| committer | pacien | 2018-04-22 20:54:32 +0200 |
| commit | db9de5bc717be46f0ca2dc1aa975c75adca6264d (patch) | |
| tree | e426a885ab866cce9c5972c56ddadd72734f695a /urm.ml | |
| parent | 27fadcf4521b0459975d6b9b02a68181c44b791f (diff) | |
| download | urm-db9de5bc717be46f0ca2dc1aa975c75adca6264d.tar.gz | |
Simplifications
Diffstat (limited to 'urm.ml')
| -rw-r--r-- | urm.ml | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -32,3 +32,4 @@ let urm_run_trace = urm_run (* TODO *) | |||
| 32 | 32 | ||
| 33 | (* Creates an URM from a command list and a register list *) | 33 | (* Creates an URM from a command list and a register list *) |
| 34 | let urm_mk cmd_list reg_list = { instptr = (instptr_mk cmd_list) ; regs = reg_list } | 34 | let urm_mk cmd_list reg_list = { instptr = (instptr_mk cmd_list) ; regs = reg_list } |
| 35 | |||