[gappalib-coq] Adapt to change of nf_evars in coq 8.4.

[Jerry James]

commit 7ad8a7e08802c369bfbd876778a44bf30c46cccc
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Tue Aug 21 16:31:32 2012 -0600

    Adapt to change of nf_evars in coq 8.4.

 gappalib-coq.spec |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 663cd80..cdfc76a 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -54,6 +54,9 @@ informational purposes.
 %prep
 %setup -q
 
+# Adapt to changes in coq 8.4
+sed -i 's/nf_evars/nf_evar_map/' src/gappatac.ml
+
 %build
 # The %%configure macro specifies --libdir, which this configure script
 # unfortunately uses to identify where the Coq files should go.  We want