From 4d59f3a805d0cca882caab353ac8ec0dd4c04f73 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Sun, 18 May 2014 18:21:18 +0200
Subject: Begin work on interface with Apron

---
 libs/util.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'libs')

diff --git a/libs/util.ml b/libs/util.ml
index 17c1ad4..68332b6 100644
--- a/libs/util.ml
+++ b/libs/util.ml
@@ -7,3 +7,5 @@ let rec fix f s =
   if fs = s
     then fs
     else fix f fs
+
+let (@@) f x = f x
-- 
cgit v1.2.3