X-Git-Url: https://scm.cri.minesparis.psl.eu/git/Faustine.git/blobdiff_plain/9fdfd04e29fcefdb9120a4d9467827ceaf8dfaa0..8abe2ee3f9b99450a1097204076770fc1c29b75a:/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")