Index: etc/pa_lispr.ml
===================================================================
retrieving revision 6.10
diff -c -r6.10 pa_lispr.ml
*** etc/pa_lispr.ml	8 Oct 2012 10:09:25 -0000	6.10
--- etc/pa_lispr.ml	8 Oct 2012 18:12:22 -0000
***************
*** 4,12 ****
  
  open Pcaml;
  
! type choice α β =
!   [ Left of α
!   | Right of β ]
  ;
  
  (* Buffer *)
--- 4,12 ----
  
  open Pcaml;
  
! type choice 'a 'b =
!   [ Left of 'a
!   | Right of 'b ]
  ;
  
  (* Buffer *)
Index: etc/pa_schemer.ml
===================================================================
retrieving revision 6.10
diff -c -r6.10 pa_schemer.ml
*** etc/pa_schemer.ml	8 Oct 2012 10:09:25 -0000	6.10
--- etc/pa_schemer.ml	8 Oct 2012 18:12:22 -0000
***************
*** 5,13 ****
  open Pcaml;
  open Exparser;
  
! type choice α β =
!   [ Left of α
!   | Right of β ]
  ;
  
  (* Buffer *)
--- 5,13 ----
  open Pcaml;
  open Exparser;
  
! type choice 'a 'b =
!   [ Left of 'a
!   | Right of 'b ]
  ;
  
  (* Buffer *)