From ec40683d2462ae15c1d0e68dbf8c6e14825b9cef Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 14:48:32 +0100
Subject: Implement tests for the symbolic interpreter

---
 src/InterpreterStatements.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/InterpreterStatements.ml')

diff --git a/src/InterpreterStatements.ml b/src/InterpreterStatements.ml
index 6b06a27f..114f0daf 100644
--- a/src/InterpreterStatements.ml
+++ b/src/InterpreterStatements.ml
@@ -906,7 +906,7 @@ and eval_local_function_call (config : C.config) (ctx : C.eval_ctx)
 (** Evaluate a statement seen as a function body (auxiliary helper for
     [eval_statement]) *)
 and eval_function_body (config : C.config) (ctx : C.eval_ctx)
-    (body : A.statement) : (C.eval_ctx, eval_error) result list =
+    (body : A.statement) : C.eval_ctx eval_result list =
   let res = eval_statement config ctx body in
   let finish res =
     match res with
-- 
cgit v1.2.3