diff -r e41e64476f9b -r 0a7c43c56092 TFL/dcterm.sml
--- a/TFL/dcterm.sml	Mon Aug 16 22:07:12 1999 +0200
+++ b/TFL/dcterm.sml	Mon Aug 16 22:08:23 1999 +0200
@@ -128,7 +128,7 @@
 val dest_imp    = dest_binop "op -->"
 val dest_conj   = dest_binop "op &"
 val dest_disj   = dest_binop "op |"
-val dest_cons   = dest_binop "op #"
+val dest_cons   = dest_binop "Cons"
 val dest_let    = swap o dest_binop "Let";
 (* val dest_cond   = dest_triop "if" *)
 val dest_select = dest_binder "Eps"