From 2a56189d3092abb63daa8246cea30e4327dcb4b6 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Sat, 7 Jun 2008 20:29:21 +0000
Subject: [PATCH] Added an additional testcase for conditions in the usage
 checking

---
 testcases/automatic/usage-check-6.occ.test | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/testcases/automatic/usage-check-6.occ.test b/testcases/automatic/usage-check-6.occ.test
index 85b1ddb..d5b4db8 100644
--- a/testcases/automatic/usage-check-6.occ.test
+++ b/testcases/automatic/usage-check-6.occ.test
@@ -38,4 +38,10 @@ PROC m()
     PAR
       a[3] := 0
       a[k] := 0
+%PASS Distinct due to IF
+  IF
+    i = 3
+      PAR
+        a[i] := 0
+        a[4] := 0
 %