diff --git a/pl/consult.yap b/pl/consult.yap
index d3967e0a4..f4afdb88e 100644
--- a/pl/consult.yap
+++ b/pl/consult.yap
@@ -1349,6 +1349,8 @@ account the following observations:
     ( Reexport == false -> true ;
 	  ( '$lf_opt'('$parent_topts', TOpts, OldTOpts),
 	  '$lf_opt'('$context_module', OldTOpts, OldContextModule)
+	  ->
+	  true
 	  ;
 	  OldContextModule = user
 	  ),