summaryrefslogtreecommitdiff
path: root/src/example.ml
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-05-25 01:14:12 +0200
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-05-25 01:14:12 +0200
commit8109ab47f06c12b1ca1317d0077b88094ce11464 (patch)
treef9e97c1da1d7bd5074f4fb4a5bf6c6852028549a /src/example.ml
parent4a5ca97b0970e191332fb6fb4684a397b93390f5 (diff)
downloadSystemeReseaux-Projet-8109ab47f06c12b1ca1317d0077b88094ce11464.tar.gz
SystemeReseaux-Projet-8109ab47f06c12b1ca1317d0077b88094ce11464.zip
Nothing.
Diffstat (limited to 'src/example.ml')
-rw-r--r--src/example.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/example.ml b/src/example.ml
index 1b0f274..7b6f23e 100644
--- a/src/example.ml
+++ b/src/example.ml
@@ -1,3 +1,5 @@
+open Util
+
module Example (K : Kahn.S) = struct
module K = K
module Lib = Kahn.Lib(K)