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

---
 tests/tree/splay_test.ml | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100755 => 100644 tests/tree/splay_test.ml

(limited to 'tests/tree')

diff --git a/tests/tree/splay_test.ml b/tests/tree/splay_test.ml
old mode 100755
new mode 100644
-- 
cgit v1.2.3