1 files changed, 0 insertions, 1 deletions
diff --git a/ccc/ccc.el b/ccc/ccc.el
index 660c640d..44a0d7c3 100644
--- a/ccc/ccc.el
+++ b/ccc/ccc.el
@@ -42,7 +42,6 @@
  proof-assistant-home-page       "http://www.informatik.uni-bremen.de/cofi/tools/ccc"
  proof-shell-annotated-prompt-regexp  "^\\(val it = () : unit\n\\)?\\(CCC\\|^HOL-CASL\\)> " ;; "^\\(val it = () : unit\n\\)?ML>? "
  proof-shell-error-regexp        "\\*\\*\\*\\|^.*Error:\\|^uncaught exception \\|^Exception- "
- proof-shell-init-cmd            nil
  proof-shell-proof-completed-regexp "^Consistency proof successfully finished."
  proof-shell-eager-annotation-start "^\\[opening \\|^###\\|^Reading" ;;; ???