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

[Faustine.git] / interpretor / value.ml

diff --git a/interpretor/value.ml b/interpretor/value.ml
index e9b2746..48fc31c 100644 (file)
--- a/interpretor/value.ml
+++ b/interpretor/value.ml
@@ -74,6 +74,8 @@ class value : basic -> value_type =
       method atan2 = self#prim2 basic_atan2
       method max = self#prim2 basic_max
       method min = self#prim2 basic_min
       method atan2 = self#prim2 basic_atan2
       method max = self#prim2 basic_max
       method min = self#prim2 basic_min

+      method shl = self#prim2 basic_shl
+      method shr = self#prim2 basic_shr

 
     end;;
 
 
     end;;