diff options
Diffstat (limited to 'etc/testsuite/pg-test.el')
-rw-r--r-- | etc/testsuite/pg-test.el | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/etc/testsuite/pg-test.el b/etc/testsuite/pg-test.el index 2e3c2c10..2c064827 100644 --- a/etc/testsuite/pg-test.el +++ b/etc/testsuite/pg-test.el @@ -3,7 +3,7 @@ ;; This file is part of Proof General. ;; Portions © Copyright 1994-2012 David Aspinall and University of Edinburgh -;; Portions © Copyright 2003, 2012, 2014 Free Software Foundation, Inc. +;; Portions © Copyright 2003-2018 Free Software Foundation, Inc. ;; Portions © Copyright 2001-2017 Pierre Courtieu ;; Portions © Copyright 2010, 2016 Erik Martin-Dorel ;; Portions © Copyright 2011-2013, 2016-2017 Hendrik Tews @@ -14,6 +14,8 @@ ;;; Code: +(eval-when-compile (require 'cl-lib)) + (defconst pg-test-buffer "** PG test output **") (defvar pg-test-total-success-count 0) @@ -68,8 +70,8 @@ (format " %s failed: exprected result %s, got %s\n" name goodresult result)))) (if errorresult - (incf pg-test-suite-fail-count) - (incf pg-test-suite-success-count) + (cl-incf pg-test-suite-fail-count) + (cl-incf pg-test-suite-success-count) (setq errorresult (format " %s succeeded.\n" name))) ;; Return string errorresult)) |