allow the option to have priorities above 1200

2015-12-15 08:38:56 +00:00
parent c6f1c328f8
commit edb6189512
13 changed files with 37 additions and 37 deletions
--- a/C/tracer.c
+++ b/C/tracer.c
@@ -50,7 +50,7 @@ static void send_tracer_message(char *start, char *name, Int arity, char *mname,
      for (i = 0; i < arity; i++) {
        if (i > 0)
          fprintf(stderr, ",");
-        Yap_plwrite(args[i], NULL, 15, Handle_vars_f | AttVar_Portray_f, 1200);
+        Yap_plwrite(args[i], NULL, 15, Handle_vars_f | AttVar_Portray_f, GLOBAL_MaxPriority);
      }
      if (arity) {
        fprintf(stderr, ")");