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;