# HG changeset patch
# User jwe
# Date 796678380 0
# Node ID ed01dfb2338d6a30d1c146a51e0551f9bb3bd3ba
# Parent  c01e881ccbb1c328879167164222e0f741db80ae
[project @ 1995-03-31 19:33:00 by jwe]

diff -r c01e881ccbb1 -r ed01dfb2338d src/tc-rep.h
--- a/src/tc-rep.h	Fri Mar 31 17:12:53 1995 +0000
+++ b/src/tc-rep.h	Fri Mar 31 19:33:00 1995 +0000
@@ -209,6 +209,7 @@
   void maybe_mutate (void);
 
   void print (void);
+  void print (ostream& os);
 
   void print_code (ostream& os);