diff options
Diffstat (limited to 'theories/Init')
| -rwxr-xr-x | theories/Init/Prelude.v | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/theories/Init/Prelude.v b/theories/Init/Prelude.v index 3caa82b9c9..6022da116c 100755 --- a/theories/Init/Prelude.v +++ b/theories/Init/Prelude.v @@ -13,4 +13,5 @@ Require Export Logic. Require Export Datatypes. Require Export Specif. Require Export Peano. -Require Export Wf.
\ No newline at end of file +Require Export Wf. +Require Export Tactics. |