*** empty log message ***

[splint.git] / src / constraintTerm.c

diff --git a/src/constraintTerm.c b/src/constraintTerm.c
index 9faec5fca7f661423c986b7709aafccece51497d..6f88df006c5f34d57c44d755ef0b70d1a58b213d 100644 (file)
--- a/src/constraintTerm.c
+++ b/src/constraintTerm.c
@@ -518,7 +518,7 @@ void constraintTerm_dump ( /*@observer@*/ constraintTerm t,  FILE *f)
        
        if (strcmp (term, "Result") == 0 )
          {
-           s = sRef_makeResult();
+           s = sRef_makeResult (ctype_unknown);
          }
        else if (strcmp (term, "Param" ) == 0 )
          {