summaryrefslogtreecommitdiff
path: root/asm/asm.ml
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-01-08 18:20:58 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-01-08 18:20:58 +0100
commit91bc6bd5554bb4267cbaf147e603791e50462242 (patch)
treecc6583bc0e334840ee23e45ef620925b38eb6db1 /asm/asm.ml
parentfa2e69bf68346d653d194d863c019674ea0fd7e2 (diff)
downloadSystDigit-Projet-91bc6bd5554bb4267cbaf147e603791e50462242.tar.gz
SystDigit-Projet-91bc6bd5554bb4267cbaf147e603791e50462242.zip
2e mail Emile
Diffstat (limited to 'asm/asm.ml')
-rw-r--r--asm/asm.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/asm/asm.ml b/asm/asm.ml
index 5a3a96b..8404654 100644
--- a/asm/asm.ml
+++ b/asm/asm.ml
@@ -3,7 +3,6 @@ type reg = int
type imm =
| Imm of int
| Lab of string
- | Labu of string
type fmt_r =
| Add
@@ -58,7 +57,8 @@ type instr =
module Imap = Map.Make(String)
-type program = { text : instr list; data : (int * bool) list; lbls : int Imap.t }
+type program = { text : instr list; data : (int * bool) list;
+ lbls : (int * bool) Imap.t }
let keywords_r = [
"add",Add;