No longer make slice_name type classes opaque.

We need instances like EqDecision and Countable for it. We could redeclare those instead, though.

No longer make slice_name type classes opaque.
We need instances like EqDecision and Countable for it. We could redeclare those instead, though.
7e6a432f · Robbert Krebbers · cddfb22f · 7e6a432f
Commit 7e6a432f authored 8 years ago by Robbert Krebbers
--- a/base_logic/lib/boxes.v
+++ b/base_logic/lib/boxes.v
@@ -197,4 +197,4 @@ Proof.
 Qed.
 End box.
-Typeclasses Opaque slice_name slice box.
+Typeclasses Opaque slice box.