From 11cc06433b9c9ae8114c433e62b745b09dd9f0f5 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 14 Jun 2007 19:27:53 +0000
Subject: isar-improper-regexp: include "prems"; Cvs:
 ----------------------------------------------------------------------

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 59e781a6..0387534f 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -241,7 +241,7 @@ Group number 1 matches the identifier possibly with quotes; group number 2
 matches contents of quotes for quoted identifiers.")
 
 (defconst isar-improper-regexp
-  "\\(\\<[A-Za-z][A-Za-z0-9'_]*_tac\\>\\|\\<goal[0-9]+\\>\\)"
+  "\\(\\<[A-Za-z][A-Za-z0-9'_]*_tac\\>\\|\\<goal[0-9]+\\>\\|\\<prems\\>\\)"
   "Regexp matching low-level features")
 
 (defconst isar-save-command-regexp
-- 
cgit v1.2.3