summaryrefslogtreecommitdiff
path: root/asm/asm.ml
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-01-08 18:33:54 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-01-08 18:33:54 +0100
commit2ab6a18d17e0f16f359feafc582f2ff732f34492 (patch)
treea14e83560b4b577313f9ef2fe3f9c0be5220ef0a /asm/asm.ml
parentb2c5356b3f6d2e0a836a19b4cae1791d350785d3 (diff)
parente07508129a81605f77ee410ef4db104a96fc44bf (diff)
downloadSystDigit-Projet-2ab6a18d17e0f16f359feafc582f2ff732f34492.tar.gz
SystDigit-Projet-2ab6a18d17e0f16f359feafc582f2ff732f34492.zip
Merge branch 'integration-progressive'
Conflicts: asm/asm.ml asm/asmlex.mll asm/asmpars.mly asm/assembler.ml
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 7df7604..d3a488b 100644
--- a/asm/asm.ml
+++ b/asm/asm.ml
@@ -5,7 +5,6 @@ type reg = int
type imm =
| Imm of int
| Lab of string
- | Labu of string
type fmt_r =
| Add
@@ -61,7 +60,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;