From 92af67ce9bfa77a08f154b383bc5e19c710908ea Mon Sep 17 00:00:00 2001
From: schandra_sf <schandra_sf@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Fri, 4 May 2007 19:46:07 +0000
Subject: [PATCH] Added an assert in make() with variable length list of
 arguments, to make sure the arity of the function is in agreement.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1057 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 com.ibm.wala.core/src/com/ibm/wala/logic/FunctionTerm.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/logic/FunctionTerm.java b/com.ibm.wala.core/src/com/ibm/wala/logic/FunctionTerm.java
index e557f4a6d..753c2589f 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/logic/FunctionTerm.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/logic/FunctionTerm.java
@@ -61,7 +61,8 @@ public class FunctionTerm implements ITerm {
   }
   
 
-  public static ITerm make(IFunction f, List<ITerm> terms) {
+  public static FunctionTerm make(IFunction f, List<ITerm> terms) {
+	assert f.getNumberOfParameters() == terms.size();
     return new FunctionTerm(f, terms);
   }