From 9711789ae50ddcf2d2f4181044ba4f5eeb139ec8 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sat, 15 Jan 2022 21:00:03 +0100
Subject: Start working on Collections.ml

---
 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 8067eae3..000874fe 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -863,7 +863,7 @@ module CfimAst = struct
 
     (* Arguments *)
     let inputs = List.tl def.locals in
-    let inputs, _aux_locals = Utils.list_split_at inputs def.arg_count in
+    let inputs, _aux_locals = Collections.List.split_at inputs def.arg_count in
     let args = List.combine inputs sg.inputs in
     let args =
       List.map
-- 
cgit v1.2.3