From 2ec38bd4df71328e501894c8d46b9cf005237396 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 16 Jan 2008 00:29:16 +0000
Subject: Updated.

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

(limited to 'isar/isar-autotest.el')

diff --git a/isar/isar-autotest.el b/isar/isar-autotest.el
index 6bcfc0bc..8d6aae95 100644
--- a/isar/isar-autotest.el
+++ b/isar/isar-autotest.el
@@ -7,7 +7,7 @@
 
 (require 'pg-autotest)
 
-(unless (noninteractive)
+(unless noninteractive
 
   ;; The included test files
   (pg-autotest message "Testing standard Example.thy, Example-Xsym.thy")
-- 
cgit v1.2.3