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 | |||