bug fixing

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / specExtraction / FunctionHeader.java

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/FunctionHeader.java b/src/edu/uci/eecs/specCompiler/specExtraction/FunctionHeader.java
index 769087dcd7a6298f172b6e1e5006251cd6c7547c..cb6da9dbae743a229bbebc8fe2ffc0dd34be5be6 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/FunctionHeader.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/FunctionHeader.java
@@ -29,7 +29,7 @@ public class FunctionHeader {
        
        public String getTemplateFullStr() {
                String templateStr = "";
-               if (templateList.size() == 0)
+               if (templateList == null)
                        return templateStr;
                VariableDeclaration decl;
                decl = templateList.get(0);