1 files changed, 2 insertions, 1 deletions
diff --git a/src/Cps.ml b/src/Cps.ml
index 2c515ed0..d7c50f26 100644
--- a/src/Cps.ml
+++ b/src/Cps.ml
@@ -4,6 +4,7 @@
 module T = Types
 module V = Values
 module C = Contexts
+module SA = SymbolicAst
 
 (** TODO: change the name *)
 type eval_error = EPanic
@@ -19,7 +20,7 @@ type statement_eval_res =
 (** Synthesized expresssion - dummy for now *)
 type sexpr = SOne | SList of sexpr list
 
-type eval_result = sexpr option
+type eval_result = SA.expression option
 
 type m_fun = C.eval_ctx -> eval_result
 (** Continuation function *)