diff options
Diffstat (limited to 'lib/Intv.v')
-rw-r--r-- | lib/Intv.v | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -18,7 +18,7 @@ Require Import Coqlib. Require Import Zwf. Require Coq.Program.Wf. -Require Recdef. +Require Import Recdef. Definition interv : Type := (Z * Z)%type. |