proofChecker ported to Helm_registry

[helm.git] / helm / scripts / template.cshrc

diff --git a/helm/scripts/template.cshrc b/helm/scripts/template.cshrc
index bed73a0143ca7222666a7ac370f37188ac7d75cb..e5395b14253f88978051b2343f8d15b67eeaf705 100644 (file)
--- a/helm/scripts/template.cshrc
+++ b/helm/scripts/template.cshrc
@@ -30,7 +30,6 @@ setenv HELM_ANNOTATIONS_DIR pippo
 setenv HELM_ANNOTATIONS_URL pippo
 setenv URI_SET_QUEUE_PORT 58082
 setenv DRAW_GRAPH_PORT 58083
-setenv PROOF_CHECKER_PORT 58084
 setenv SEARCH_ENGINE_PORT 58085
 setenv DRAW_GRAPH_DIR /projects/helm/daemons/graphs/tools
 setenv SEARCH_ENGINE_HTML_DIR /projects/helm/daemon/searchEngine/html