diff options
| -rw-r--r-- | theories/Classes/Init.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Classes/Init.v b/theories/Classes/Init.v index 5ac931033..0bd9f95dd 100644 --- a/theories/Classes/Init.v +++ b/theories/Classes/Init.v @@ -22,7 +22,7 @@ Tactic Notation "clapply" ident(c) := (** Hints for the proof search: these combinators should be considered rigid. *) -Require Import Program.Basics. +Require Import Coq.Program.Basics. Typeclasses Opaque id const flip compose arrow impl iff. |