From f2fb0dc39cfa9aef2b16963d3f8a270ec45bae5e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 14:43:35 +0100
Subject: Make good progress on implementing utilities to test symbolic
 execution

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

(limited to 'src/Print.ml')

diff --git a/src/Print.ml b/src/Print.ml
index 90f3946b..de1952e1 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -843,7 +843,7 @@ module CfimAst = struct
 
     (* Arguments *)
     let inputs = List.tl def.locals in
-    let inputs, _aux_locals = Utilities.list_split_at inputs def.arg_count in
+    let inputs, _aux_locals = Utils.list_split_at inputs def.arg_count in
     let args = List.combine inputs sg.inputs in
     let args =
       List.map
-- 
cgit v1.2.3