Index: mttroot/mtt/bin/trans/dm2tf_r
==================================================================
--- mttroot/mtt/bin/trans/dm2tf_r
+++ mttroot/mtt/bin/trans/dm2tf_r
@@ -12,20 +12,23 @@
 ###############################################################
 ## Version control history
 ###############################################################
 ## $Id$
 ## $Log$
+## Revision 1.1  1996/08/25 10:09:55  peter
+## Initial revision
+##
 ###############################################################
 
 #Inform user
 echo Creating $1_tf.r
 
 # Remove the old log file
 rm -f dm2tf_r.log
 
 # Use reduce to accomplish the transformation
-reduce >dm2tf_r.log << EOF
+$SYMBOLIC >dm2tf_r.log << EOF
 
 %ON FLOAT;
 
 IN "$1_def.r";
 IN "$1_dm.r";