Merge branch 'master' of https://scm.cri.ensmp.fr/git/Faustine

[Faustine.git] / interpretor / symbol.ml

diff --git a/interpretor/symbol.ml b/interpretor/symbol.ml
index 967a2a6..4d58697 100644 (file)
--- a/interpretor/symbol.ml
+++ b/interpretor/symbol.ml
@@ -60,6 +60,8 @@ let dictionary_of_symbol : symbol -> (int * int) * int * string =
     |Leq        ->  ((2, 1), 0, "Leq")
     |Eq         ->  ((2, 1), 0, "Eq")
     |Neq        ->  ((2, 1), 0, "Neq")
     |Leq        ->  ((2, 1), 0, "Leq")
     |Eq         ->  ((2, 1), 0, "Eq")
     |Neq        ->  ((2, 1), 0, "Neq")

+    |Shl         ->  ((2, 1), 0, "shift_left")
+    |Shr         ->  ((2, 1), 0, "shift_right")

     |Max         ->  ((2, 1), 0, "Max") 
     |Min         ->  ((2, 1), 0, "Min")
     |Prefix     ->  ((2, 1), 0, "Prefix")
     |Max         ->  ((2, 1), 0, "Max") 
     |Min         ->  ((2, 1), 0, "Min")
     |Prefix     ->  ((2, 1), 0, "Prefix")