--- driver/cduce.ml	2007/07/10 17:00:48	46
+++ driver/cduce.ml	2007/07/10 17:01:20	52
@@ -100,7 +100,7 @@
 	let t = Typer.type_check Typer.Env.empty e Types.any true in
 	Format.fprintf ppf "|- %a@\n" print_norm t;
 	let v = Value.eval Value.empty_env e in
-	Format.fprintf ppf "=> %a@\n" Value.print v
+	Format.fprintf ppf "=> @[%a@]@\n" Value.print v
     | Ast.TypeDecl _ -> ()
     | Ast.Debug l -> debug l
     | _ -> assert false