From 8109ab47f06c12b1ca1317d0077b88094ce11464 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Sun, 25 May 2014 01:14:12 +0200
Subject: Nothing.

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

(limited to 'src/util.ml')

diff --git a/src/util.ml b/src/util.ml
index 5502398..5155fd7 100644
--- a/src/util.ml
+++ b/src/util.ml
@@ -1,5 +1,7 @@
 open Unix
 
+let (@@) a b = a b
+
 type id = int * int
 let new_id () : id = (Random.int 100000, Random.int 100000)
 let id_str (a, b) = Format.sprintf "%d.%d" a b
-- 
cgit v1.2.3