clp(bn) support

2012-03-22 23:24:09 +00:00
parent 372f3d795e
commit 07335ce047
2 changed files with 9 additions and 8 deletions
--- a/packages/bdd/cudd.c
+++ b/packages/bdd/cudd.c
@@ -163,7 +163,7 @@ term_to_cudd(DdManager *manager, YAP_Term t)
    else if (i==1.0)
      return Cudd_ReadOne(manager);
  } else if (YAP_IsVarTerm(t)) {
-    fprintf(stderr,"Unbound Variable should be input argument to BDD\n");
+    fprintf(stderr,"Unbound Variable should not be input argument to BDD\n");
  }
  return NULL;
 }