edits

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

diff --git a/src/edu/uci/eecs/specExtraction/FunctionHeader.java b/src/edu/uci/eecs/specExtraction/FunctionHeader.java
index b79d65ba65a0ab34e6bd79a205a14eba2eb4c862..d07a0a1386714cd71906097986a49377c3b195cf 100644 (file)
--- a/src/edu/uci/eecs/specExtraction/FunctionHeader.java
+++ b/src/edu/uci/eecs/specExtraction/FunctionHeader.java
@@ -164,7 +164,7 @@ public class FunctionHeader {
        public String getRenamedCall(String prefix) {
                String res = "";
                if (!isReturnVoid()) {
-                       res = res + returnType + " " + SpecNaming.RET + " = ";
+                       res = res + returnType + " " + SpecNaming.C_RET + " = ";
                }
                res = res + prefix + "_" + funcName.fullName + "(";
                if (args.size() >= 1) {