diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-01 14:53:09 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-01 14:53:09 +0100 |
commit | 9fbc5e48ea8183dda8fdb652364c0c29f8a309d5 (patch) | |
tree | 052214454101b44d07918131ad500f0c451649eb /expression.ml | |
parent | ab721136f50914a21f6cca89f0fcfb055ba58cd2 (diff) |
Made scTypes.types private.
Diffstat (limited to 'expression.ml')
-rwxr-xr-x | expression.ml | 2 |
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 *)
|