From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 7 Nov 2000 12:54:26 +0000 (+0000)
Subject: Test improved.
X-Git-Tag: nogzip~209
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=9441a320a540bd35d0146d4a152c18aaf8f06499

Test improved.
---

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/test.ml b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/test.ml
index a7c9eb79c..731acea33 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/test.ml
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/test.ml
@@ -88,7 +88,7 @@ let get_height mathview () =
 
 let get_top mathview () =
  let (x,y) = !mathview#get_top in
-  print_string ("get_top: (" ^ string_of_int x ^ "," ^ string_of_int y ^ "\n") ;
+  print_string ("get_top: ("^ string_of_int x ^ "," ^ string_of_int y ^ ")\n") ;
   flush stdout
 ;;