From 039b9057a33905638e624adcc3edcf9985858b54 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 16 Oct 2008 10:01:53 +0000
Subject: 	* interp/scan.boot (scanKeyWords): `assume' is a keyword.

---
 src/ChangeLog        | 4 ++++
 src/interp/scan.boot | 1 +
 2 files changed, 5 insertions(+)

diff --git a/src/ChangeLog b/src/ChangeLog
index ad42b989..7fb4f325 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2008-10-16  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* interp/scan.boot (scanKeyWords): `assume' is a keyword.
+
 2008-10-16  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/i-spec1.boot (categoryImplies): New.
diff --git a/src/interp/scan.boot b/src/interp/scan.boot
index 188184c8..557be8f8 100644
--- a/src/interp/scan.boot
+++ b/src/interp/scan.boot
@@ -59,6 +59,7 @@ QUESTION     == QENUM('"?   ",0)
 scanKeyWords == [ _
            ['"add",      "ADD" ],_
            ['"and",      "AND" ],_
+           ['"assume","ASSUME" ],_
            ['"break",   "BREAK" ],_
            ['"by",        "BY" ],_
            ['"case",     "CASE" ],_
-- 
cgit v1.2.3