]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/test/test.ml
loadDocumentFrom* and saveDocument interface changed
[helm.git] / helm / DEVEL / lablgtkmathview / test / test.ml
index 61dd0370cbc7a84f0c677d2d43a69f31a76fc262..655970cca5a1974e7c6aa0db5cb3c19106839123 100644 (file)
@@ -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
 ;;