 +	      | Neg -> "Neg"
 +	      | BNot -> "BNot"
 +	      | LNot -> "LNot"
-+    in pQuoted ("UnOp" ^ tok)
++    in text ("UnOp_" ^ tok)
 +
 +  method private pp_binop (bop:binop) : doc = 
 +    let tok = match bop with

 	./config.status $@
diff -urN cil.orig/src/ext/atermprinter.ml cil/src/ext/atermprinter.ml
--- cil.orig/src/ext/atermprinter.ml	1970-01-01 01:00:00.000000000 +0100
+++ cil/src/ext/atermprinter.ml	2006-01-16 10:36:29.000000000 +0100
@@ -0,0 +1,489 @@
+open Cil
+open Pretty
+open List

+	      | BOr -> "BOr"
+	      | LAnd -> "LAnd"
+	      | LOr -> "LOr"
+    in text ("BinOp_" ^ tok )
+
+  method private pp_constant (c:constant) : doc = if !E.verboseFlag then trace "pp_constant" ;
+    match c with
