Permalink
Browse files

Replaced forall keyword with solve

  • Loading branch information...
1 parent c5a53be commit 3938ee80ca1968242ae73c9fda255ea66d8d9c02 @djspiewak committed Nov 1, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 quirrel.xml
View
@@ -44,11 +44,11 @@
<KEYWORDS>
<KEYWORD1>difference</KEYWORD1>
<KEYWORD1>else</KEYWORD1>
- <KEYWORD1>forall</KEYWORD1>
<KEYWORD1>if</KEYWORD1>
<KEYWORD1>import</KEYWORD1>
<KEYWORD1>intersect</KEYWORD1>
<KEYWORD1>new</KEYWORD1>
+ <KEYWORD1>solve</KEYWORD1>
<KEYWORD1>then</KEYWORD1>
<KEYWORD1>union</KEYWORD1>
<KEYWORD1>where</KEYWORD1>

0 comments on commit 3938ee8

Please sign in to comment.