X-Git-Url: https://svn.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/9fdfd04e29fcefdb9120a4d9467827ceaf8dfaa0..e8e5ebaac3fd20af4989400e61811dc59ccbc6b8:/interpretor/symbol.ml

diff --git a/interpretor/symbol.ml b/interpretor/symbol.ml
index 967a2a6..4d58697 100644
--- 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")
+    |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")