diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2019-08-28 22:44:18 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2019-08-28 22:44:18 +0200 |
commit | eea6c106dd959dec19dc70991010bf2008fcf6c6 (patch) | |
tree | dde5a8ff3fb71890bad756e0677cbfb6348142fc /src/functions.ml | |
parent | c20b6dd7533775eaed045950e04175b020ac52c4 (diff) |
Update catalog function register
Diffstat (limited to 'src/functions.ml')
-rw-r--r--[-rwxr-xr-x] | src/functions.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/functions.ml b/src/functions.ml index 0258ce0..491d968 100755..100644 --- a/src/functions.ml +++ b/src/functions.ml @@ -72,7 +72,6 @@ module C = Catalog.Make(struct type 'a returnType = 'a ScTypes.ReturnType.t
-
end)
let f_num = ScTypes.ReturnType.f_num
|