diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-08 17:01:04 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-08 17:01:04 +0100 |
| commit | 163a82655b1b3649c9bff4db05f487db3a992a40 (patch) | |
| tree | b7308ea89caef819825683551b6ceb9fc6c72369 /expression.ml | |
| parent | 5eb60432c81bd13f26852a4cef9b1a570002883d (diff) | |
Update functions
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 fd697a9..20227ad 100755 --- a/expression.ml +++ b/expression.ml @@ -91,7 +91,7 @@ let show e = | Formula (Expression f) ->
UTF8.Buffer.add_char buffer '=';
ScTypes.show_expr buffer f
- | Basic b -> ScTypes.Type.show buffer b
+ | Basic b -> ScTypes.Type.show_full buffer b
| Formula (Error (i,s)) -> UTF8.Buffer.add_string buffer s
| Undefined -> ()
end;
|