Merge branch 'main' of github.com:Kachoc/aeneas into constants-v2

Complete the constants extraction by making all functions fail

1 files changed, 1 insertions, 1 deletions

diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml
index 84536005..a057b015 100644
--- a/src/SymbolicToPure.ml
+++ b/src/SymbolicToPure.ml
@@ -1198,7 +1198,7 @@ and translate_function_call (config : config) (call : S.call) (e : S.expression)
             assert (int_ty0 = int_ty1);
             let effect_info =
               {
-                can_fail = binop_can_fail binop;
+                can_fail = ExpressionsUtils.binop_can_fail binop;
                 input_state = false;
                 output_state = false;
               }