X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Ftest%2Ftest.ml;h=655970cca5a1974e7c6aa0db5cb3c19106839123;hb=8f89cdd08d9ee0a243cf84201bf42e5503759ee3;hp=61dd0370cbc7a84f0c677d2d43a69f31a76fc262;hpb=5a7485a8f24e457fd4cc091f24c48f3cb8d11fca;p=helm.git 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 ;;