From 9bc3f266832ec50c30802f60e4af5ef88aeadc69 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 10 Dec 2007 11:47:45 +0000
Subject: Emacs compatibility/API updates: string-to-int -> string-to-number

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index 442ce049..68ea9bc1 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -605,7 +605,7 @@ happen since one of them is necessarily set to t in coq-syntax.el."
    ((looking-at "subgoal \\([0-9]+\\) is:\n")
     (goto-char (match-end 0))
     (cons 'goal (match-string 1))
-    (setq coq-current-goal (string-to-int (match-string 1))))
+    (setq coq-current-goal (string-to-number (match-string 1))))
    ((looking-at proof-shell-assumption-regexp)
     (cons 'hyp (match-string 1)))
    (t nil)))
-- 
cgit v1.2.3