diff options
Diffstat (limited to 'lib/Parmov.v')
-rw-r--r-- | lib/Parmov.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Parmov.v b/lib/Parmov.v index 2d09171d..db27e83f 100644 --- a/lib/Parmov.v +++ b/lib/Parmov.v @@ -55,7 +55,7 @@ Require Import Relations. Require Import Axioms. Require Import Coqlib. -Require Recdef. +Require Import Recdef. Section PARMOV. |