diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-06-19 08:31:23 +0200 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-06-19 10:16:01 +0200 |
| commit | e15df3a924abed6135477bac0837a7fde250f02d (patch) | |
| tree | 5f8e59c2aeadefa73e1c4faf9306937f91b5371a /expression.ml | |
| parent | 8db278b1e6331d55ef6aa11964c88144af3c4fce (diff) | |
Moved catalog in its own module
Diffstat (limited to 'expression.ml')
| -rwxr-xr-x | expression.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/expression.ml b/expression.ml index 155e1b9..0bc8f43 100755 --- a/expression.ml +++ b/expression.ml @@ -1,4 +1,3 @@ -module C = Catalog
module Tuple2 = Tools.Tuple2
let u = UTF8.from_utf8string
|