%%% $Id: debug_write.mod,v 1.2 2004/10/18 03:37:42 leavens Exp leavens $
%%% debugging write
%%% AUTHOR: Gary T. Leavens and Craig Chambers

module debug_write.

  %% define this to see debugging output.
  debug.
  
  %% ``debug_write X'' writes X to the current output stream, using write
  %% and then nl, if ``debug'' succeeds.
  %% So to see the output, define debug, otherwise don't.
  debug_write X :- debug, printterm std_out X, print "\n".