From 329b774e315b41bc0d5b7daf8737222768c8d1f3 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Sat, 9 Jan 2021 11:35:40 +0100
Subject: Formalized exchanges between worker and app

---
 path/repr.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'path/repr.ml')

diff --git a/path/repr.ml b/path/repr.ml
index 63e7ba0..55a2920 100755
--- a/path/repr.ml
+++ b/path/repr.ml
@@ -11,7 +11,7 @@ module type M = sig
     : t -> t -> repr -> repr
 
   val quadratic_to
-    : t -> Gg.v2 -> Gg.v2 -> t -> repr -> repr
+    : (t * Gg.v2 * Gg.v2 * t) -> repr -> repr
 
   val stop
     : repr -> repr
-- 
cgit v1.2.3