summaryrefslogtreecommitdiff
path: root/asm/asm.ml
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-01-08 18:31:56 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-01-08 18:31:56 +0100
commite07508129a81605f77ee410ef4db104a96fc44bf (patch)
tree670472f86292f07d8930d986727d5e9ce87ff1ad /asm/asm.ml
parent1f228ce77e8a71475930b433fb2c72521203aa99 (diff)
parent91bc6bd5554bb4267cbaf147e603791e50462242 (diff)
downloadSystDigit-Projet-e07508129a81605f77ee410ef4db104a96fc44bf.tar.gz
SystDigit-Projet-e07508129a81605f77ee410ef4db104a96fc44bf.zip
Merge branch 'emile' into integration-progressive
Conflicts: asm/_tags 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;