From 163a82655b1b3649c9bff4db05f487db3a992a40 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Wed, 8 Nov 2017 17:01:04 +0100
Subject: Update functions

---
 expression.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'expression.ml')

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;
-- 
cgit v1.2.3