From 7e50cacd736fc85930bd22689fb7e2b61ddda794 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 30 May 2024 22:37:08 +0200
Subject: Remove the cps.eval_result type

---
 compiler/InterpreterStatements.mli | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'compiler/InterpreterStatements.mli')

diff --git a/compiler/InterpreterStatements.mli b/compiler/InterpreterStatements.mli
index c70396d6..443f559e 100644
--- a/compiler/InterpreterStatements.mli
+++ b/compiler/InterpreterStatements.mli
@@ -21,7 +21,9 @@ val pop_frame :
   Meta.span ->
   bool ->
   eval_ctx ->
-  typed_value option * eval_ctx * (eval_result -> eval_result)
+  typed_value option
+  * eval_ctx
+  * (SymbolicAst.expression -> SymbolicAst.expression)
 
 (** Helper.
 
-- 
cgit v1.2.3