diff options
| -rw-r--r-- | theories/Lists/ListSet.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Lists/ListSet.v b/theories/Lists/ListSet.v index a72adbb21d..77f943716c 100644 --- a/theories/Lists/ListSet.v +++ b/theories/Lists/ListSet.v @@ -27,7 +27,7 @@ Section first_definitions. Definition set := (list A). - Definition empty_set := (nil A). + Definition empty_set := (nil ?) : set. Fixpoint set_add [a:A; x:set] : set := Cases x of |