fix bad marking of dbterms (obs from Ines Dutra).

2010-12-12 16:45:39 +00:00
parent e7f5c50707
commit 378035a4b0
3 changed files with 27 additions and 7 deletions
--- a/C/cdmgr.c
+++ b/C/cdmgr.c
@@ -792,11 +792,13 @@ ConstantTermAdjust (Term t)
    return AtomTermAdjust(t);
  else if (IsIntTerm(t))
    return t;
-  else if (IsApplTerm(t))
+  else if (IsApplTerm(t) && IsBlobFunctor(FunctorOfTerm(t))) {
    return BlobTermAdjust(t);
-  else if (IsPairTerm(t))
+  } else if (IsApplTerm(t) || IsPairTerm(t)) {
    return CodeComposedTermAdjust(t);
-  else return t;
+  } else {
+    return t;
+  }
 }