diff -aur ssreflect-1.3pl2.orig/src/ssreflect.ml ssreflect-1.3pl2/src/ssreflect.ml
--- ssreflect-1.3pl2.orig/src/ssreflect.ml	2011-11-21 15:20:53.000000000 +0100
+++ ssreflect-1.3pl2/src/ssreflect.ml	2012-03-20 16:36:25.859060780 +0100
@@ -2683,8 +2683,8 @@
     try tac gl
     with 
     | UserError (l, s) -> raise (UserError (l, prefix i ++ s))
-    | Stdpp.Exc_located(loc, UserError (l, s))  -> 
-        raise (Stdpp.Exc_located(loc, UserError (l, prefix i ++ s))) in
+    | Compat.Exc_located(loc, UserError (l, s))  -> 
+        raise (Compat.Exc_located(loc, UserError (l, prefix i ++ s))) in
   let rec loop i gl =
     if i = n then tac_err_at i gl else
     (tclTHEN (tac_err_at i) (loop (i + 1))) gl in