From 595c2aaf975bdc6afd996806891a5a790684e267 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel
Date: Sun, 28 Feb 2016 19:25:20 -0500
Subject: Remove leftover comment

---
 coq/coq-system.el | 2 --
 1 file changed, 2 deletions(-)

diff --git a/coq/coq-system.el b/coq/coq-system.el
index 0d09e0f2..f13a0f1e 100644
--- a/coq/coq-system.el
+++ b/coq/coq-system.el
@@ -324,8 +324,6 @@ options of a few coq-project files does the right thing."
 LOAD-PATH, CURRENT-DIRECTORY, PRE-V85: see `coq-include-options'."
   (coq-include-options load-path current-directory pre-v85))
 
-;;; !!! Fixme handle proof-prog-name-ask
-
 (defun coq-coqc-prog-args (load-path &optional current-directory pre-v85)
   "Build a list of options for coqc.
 LOAD-PATH, CURRENT-DIRECTORY, PRE-V85: see `coq-include-options'."
-- 
cgit v1.2.3