From b675b101bffa898851f5a0b05e47e0f1c28f7106 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 19 Feb 2005 14:31:15 +0000
Subject: [PATCH] - Added Arachne tuple claims warning. Exits for now at
 Secrecy tuples.

---
 src/compiler.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/compiler.c b/src/compiler.c
index a783c90..540ef7b 100644
--- a/src/compiler.c
+++ b/src/compiler.c
@@ -564,6 +564,12 @@ commEvent (int event, Tac tc)
 		("Secrecy claim requires a list of terms to be secret on line %i.",
 		 trip->next->lineno);
 	    }
+	  if (n > 1)
+	    {
+	      error
+		("Secrecy claim on line %i should not contain tuples (for Arachne) until it is officially supported.",
+		 trip->next->lineno);
+	    }
 	  break;
 	}
       if (claim == CLAIM_Nisynch)