diff -r db72904b42fb -r c16029f41ad9 lib/Tools/usedir
--- a/lib/Tools/usedir	Fri Apr 25 15:08:25 1997 +0200
+++ b/lib/Tools/usedir	Fri Apr 25 15:08:52 1997 +0200
@@ -16,7 +16,6 @@
   echo
   echo "  Options are:"
   echo "    -b           build mode (output heap image, use dir \".\")"
-  echo "    -c           force copying of heap file (for Poly/ML)"
   echo "    -g BOOL      generate theory graph data (default false)"
   echo "    -h BOOL      generate theory HTML data (default false)"
   echo "    -s NAME      override session NAME"
@@ -33,7 +32,6 @@
 # options
 
 BUILD=""
-COPYDB=""
 GRAPH=false
 HTML=false
 SESSION=""
@@ -47,9 +45,6 @@
       b)
         BUILD=true
         ;;
-      c)
-        COPYDB="-c"
-        ;;
       g)
         GRAPH="$OPTARG"
         ;;
@@ -90,7 +85,7 @@
     -e "make_html := $HTML;" \
     -e "set_session\"$SESSION\";" \
     -e "exit_use_dir\".\";" \
-    -q $COPYDB $LOGIC $NAME
+    -q $LOGIC $NAME
 else
   exec $ISABELLE \
     -e "make_html := $HTML;" \