From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 8 Mar 2002 12:19:13 +0000 (+0000)
Subject: loadDocumentFrom* and saveDocument interface changed
X-Git-Tag: V_0_3_0_debian_8~237
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5c0956cb044202bc8263b7428da298cdc1d2dd59;p=helm.git

loadDocumentFrom* and saveDocument interface changed
---

diff --git a/helm/DEVEL/lablgtkmathview/test/test.ml b/helm/DEVEL/lablgtkmathview/test/test.ml
index 61dd0370c..655970cca 100644
--- a/helm/DEVEL/lablgtkmathview/test/test.ml
+++ b/helm/DEVEL/lablgtkmathview/test/test.ml
@@ -137,7 +137,7 @@ let load (mathview : GMathView.math_view) () =
 ;;
 
 let load_dom (mathview : GMathView.math_view) () =
- mathview#load_tree ((Gdome.domImplementation ())#createDocumentFromURI ~uri:"test.xml" ~mode:0) ;
+ mathview#load_tree ((Gdome.domImplementation ())#createDocumentFromURI ~uri:"test.xml" ()) ;
  print_string "load from DOM: SEEMS TO WORK\n" ;
  flush stdout
 ;;