From c01f0403611fd51b0993045873d001712a63be3c Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 11 Dec 2006 09:53:45 +0000
Subject: [PATCH] Bugfix: Incorrect detection of unknown PRISM language
 functions.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@191 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ExpressionFunc.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/parser/ExpressionFunc.java b/prism/src/parser/ExpressionFunc.java
index a95b5c48..0697a85d 100644
--- a/prism/src/parser/ExpressionFunc.java
+++ b/prism/src/parser/ExpressionFunc.java
@@ -60,7 +60,7 @@ public class ExpressionFunc extends ExpressionNary
 		name = s;
 		// determine and set code
 		n = names.length;
-		code = 0;
+		code = -1;
 		for (i = 0; i < n; i++) {
 			if (s.equals(names[i])) {
 				code = i;