*** empty log message ***

[splint.git] / src / clabstract.c

diff --git a/src/clabstract.c b/src/clabstract.c
index 88b17d20d0f5248d27d6f4049dcd841492b5b276..e0f0c6f343879b5ed247835055b22bdaef2e9de5 100644 (file)
--- a/src/clabstract.c
+++ b/src/clabstract.c
@@ -2139,7 +2139,7 @@ sRef fixStateClausesId (cstring s)
 
   if (cstring_equalLit (s, "result"))
     {
-      ret = sRef_makeResult ();
+      ret = sRef_makeResult (ctype_unknown);
     }
   else
     {