aboutsummaryrefslogtreecommitdiff
path: root/expression.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-11-01 14:53:09 +0100
committerSébastien Dailly <sebastien@chimrod.com>2017-11-01 14:53:09 +0100
commit9fbc5e48ea8183dda8fdb652364c0c29f8a309d5 (patch)
tree052214454101b44d07918131ad500f0c451649eb /expression.ml
parentab721136f50914a21f6cca89f0fcfb055ba58cd2 (diff)
Made scTypes.types private.
Diffstat (limited to 'expression.ml')
-rwxr-xr-xexpression.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/expression.ml b/expression.ml
index 31b6369..d42b90e 100755
--- a/expression.ml
+++ b/expression.ml
@@ -38,7 +38,7 @@ let load content = begin
ExpressionParser.content ExpressionLexer.read
@@ Lexing.from_string content' in
Basic r
- with _ -> Basic (ScTypes.Str (UTF8.from_utf8string content'))
+ with _ -> Basic (ScTypes.string (UTF8.from_utf8string content'))
)
) else (
(* If the string in empty, build an undefined value *)