From a790a7c3eccac0be30b4758070951f6b4e638e25 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Wed, 1 May 2013 02:01:27 +0200
Subject: [PATCH] Allow != as a token.

---
 src/parser/PrismParser/Tokens.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/parser/PrismParser/Tokens.h b/src/parser/PrismParser/Tokens.h
index cf0392f32..bd246d358 100644
--- a/src/parser/PrismParser/Tokens.h
+++ b/src/parser/PrismParser/Tokens.h
@@ -54,6 +54,7 @@ namespace prism {
 		relationalOperatorStruct() {
 			add
 				("=", BinaryRelationExpression::EQUAL)
+				("!=", BinaryRelationExpression::NOT_EQUAL)
 				("<", BinaryRelationExpression::LESS)
 				("<=", BinaryRelationExpression::LESS_OR_EQUAL)
 				(">", BinaryRelationExpression::GREATER)