From eea6c106dd959dec19dc70991010bf2008fcf6c6 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Wed, 28 Aug 2019 22:44:18 +0200
Subject: Update catalog function register

---
 src/functions.ml | 1 -
 1 file changed, 1 deletion(-)
 mode change 100755 => 100644 src/functions.ml

(limited to 'src/functions.ml')

diff --git a/src/functions.ml b/src/functions.ml
old mode 100755
new mode 100644
index 0258ce0..491d968
--- a/src/functions.ml
+++ b/src/functions.ml
@@ -72,7 +72,6 @@ module C = Catalog.Make(struct
 
   type 'a returnType = 'a ScTypes.ReturnType.t
 
-
 end)
 
 let f_num = ScTypes.ReturnType.f_num
-- 
cgit v1.2.3