K 10
svn:author
V 3
pav
K 8
svn:date
V 27
2012-03-14T20:11:56.000000Z
K 7
svn:log
V 322
- Mark BROKEN: does not compile
  OCAMLC    pretyping/pretype_errors.mli
  OCAMLOPT  pretyping/pretype_errors.ml
  File "pretyping/pretype_errors.ml", line 48, characters 4-109:
  Error: Unbound constructor Stdpp.Exc_located
  gmake[1]: *** [pretyping/pretype_errors.cmx] Error 2

Reported by:	pointyhat
Feature safe:	yes

END