]> matita.cs.unibo.it Git - helm.git/commitdiff
Test improved.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 7 Nov 2000 12:54:26 +0000 (12:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 7 Nov 2000 12:54:26 +0000 (12:54 +0000)
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/test.ml

index a7c9eb79c6493dc8a6beb6b654ab7b95c44a1876..731acea33f8f89f36a6c259257c257a8e97d8557 100644 (file)
@@ -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
 ;;