--- a/src/Pure/ML/ml_pp.ML Tue Apr 21 22:04:15 2020 +0200
+++ b/src/Pure/ML/ml_pp.ML Tue Apr 21 22:19:59 2020 +0200
@@ -78,7 +78,7 @@
| MinProof => Pretty.str "MinProof"
| PBound a => prt_app "PBound" (Pretty.from_polyml (ML_system_pretty (a, dp - 1)))
| PAxm a => prt_app "PAxm" (Pretty.from_polyml (ML_system_pretty (a, dp - 1)))
- | OfClass a => prt_app "OfClass" (Pretty.from_polyml (ML_system_pretty (a, dp - 1)))
+ | PClass a => prt_app "PClass" (Pretty.from_polyml (ML_system_pretty (a, dp - 1)))
| Oracle a => prt_app "Oracle" (Pretty.from_polyml (ML_system_pretty (a, dp - 1)))
| PThm a => prt_app "PThm" (Pretty.from_polyml (ML_system_pretty (a, dp - 1))))