diff options
author | Son Ho | 2021-12-01 14:03:20 +0100 |
---|---|---|
committer | Son Ho | 2021-12-01 14:03:20 +0100 |
commit | d8a59dce6122b3741039ff135d8f50271beff24a (patch) | |
tree | f1514258977758e353db83eaf7af17bcfff5953a /src/Expressions.ml | |
parent | 59af28530b66d49bf0a882ecee7b6198c2daf1e1 (diff) |
Cleanup a bit
Diffstat (limited to 'src/Expressions.ml')
-rw-r--r-- | src/Expressions.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Expressions.ml b/src/Expressions.ml index 38ee1ff6..6a7e92a0 100644 --- a/src/Expressions.ml +++ b/src/Expressions.ml @@ -1,5 +1,3 @@ -(** TODO: the name "Expression" is not correct - change that *) - open Types open Values |