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/parser.mli | |
| parent | 0647f37eebbefb8446fc8abfc533a23952fbb8be (diff) | |
| download | urm-97a5d3600a06e2edbd6bb6faa6fa0728add0d5d3.tar.gz | |
Rename URM types and fix urm_from_eurm signature
Diffstat (limited to 'src/parser.mli')
| -rw-r--r-- | src/parser.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/parser.mli b/src/parser.mli index f7609f9..21fc940 100644 --- a/src/parser.mli +++ b/src/parser.mli | |||
| @@ -19,4 +19,3 @@ val program_of_string : string -> urmcmd list | |||
| 19 | 19 | ||
| 20 | (* Parses the string representation of serialized registers. *) | 20 | (* Parses the string representation of serialized registers. *) |
| 21 | val regs_of_string : string -> reg list | 21 | val regs_of_string : string -> reg list |
| 22 | |||