diff options
author | 2007-12-10 11:47:45 +0000 | |
---|---|---|
committer | 2007-12-10 11:47:45 +0000 | |
commit | 9bc3f266832ec50c30802f60e4af5ef88aeadc69 (patch) | |
tree | e66da819d249c050d39ea219e724cd15a11aef52 /coq | |
parent | 95e2a29f51fb86ee958a261ac195d7e8c96d1741 (diff) |
Emacs compatibility/API updates: string-to-int -> string-to-number
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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))) |