first moogle template checkin

[helm.git] / helm / proofChecker / proofChecker.ml

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index 13704366084762d0a26750cd4db1a8a90d118b9f..6513d4f930085eb020258a8e01117575357c44df 100644 (file)
--- a/helm/proofChecker/proofChecker.ml
+++ b/helm/proofChecker/proofChecker.ml
@@ -25,14 +25,9 @@
 
 open Printf;;
 
-let _ = Helm_registry.load_from "proofChecker.conf.xml";;
+let _ = Helm_registry.load_from "/projects/helm/etc/proofChecker.conf.xml";;
 
-let port =
- try
-  Helm_registry.get_int "proofchecker.port"
- with
-  Helm_registry.Key_not_found _ -> 48084
-;;
+let port = Helm_registry.get_int "proofchecker.port";;
 
 let (html_preamble, html_postamble) =
   ((fun uri ->