diff options
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
|