--- src/gappatac.ml.orig	2016-09-27 13:08:26.000000000 -0600
+++ src/gappatac.ml	2016-09-28 20:25:44.613882268 -0600
@@ -819,9 +819,7 @@ let gappa_internal gl =
       errorlabstrm "gappa_internal"
         (Pp.str "execution of Gappa failed:" ++ Pp.fnl () ++ Pp.str s)
 
-IFDEF COQ84 THEN
-
-ELSE
+IFNDEF COQ84 THEN
 
 let gappa_quote = Proofview.V82.tactic gappa_quote
 let gappa_internal = Proofview.V82.tactic gappa_internal