interpret ICCallerPrim as non-informative

dfinity · Jul 19, 2024 · 29110d3 · 29110d3
1 parent ff217f3
commit 29110d3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/ir_interpreter/interpret_ir.ml b/src/ir_interpreter/interpret_ir.ml
@@ -453,6 +453,8 @@ and interpret_exp_mut env exp (k : V.value V.cont) =
         last_region := exp.at; (* in case the following throws *)
         let vc = context env in
         f (V.Tup[vc; kv; rv]) v2 k
+      | ICCyclesPrim, [] ->
+        k V.Null
       | ICCallerPrim, [] ->
         k env.caller
       | ICStableRead t, [] ->