diff var/dml/run.pl @ 33:f6dc7a0bb309

Changes to config.
author samer
date Sat, 21 Feb 2015 02:08:36 +0000
parents 246f0c73507a
children 06cb370e8aec
line wrap: on
line diff
--- a/var/dml/run.pl	Sun Feb 15 01:04:50 2015 +0000
+++ b/var/dml/run.pl	Sat Feb 21 02:08:36 2015 +0000
@@ -39,9 +39,9 @@
 
 % Make loading files silent. Comment if you want verbose loading.
 
-:- current_prolog_flag(verbose, Verbose),
-   asserta(saved_verbose(Verbose)),
-   set_prolog_flag(verbose, silent).
+%:- current_prolog_flag(verbose, Verbose),
+%   asserta(saved_verbose(Verbose)),
+%   set_prolog_flag(verbose, silent).
 
 
 		 /*******************************