diff options
Diffstat (limited to 'theories/Lists/SetoidList.v')
| -rw-r--r-- | theories/Lists/SetoidList.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Lists/SetoidList.v b/theories/Lists/SetoidList.v index 2aecb3fdbf..d42e71e556 100644 --- a/theories/Lists/SetoidList.v +++ b/theories/Lists/SetoidList.v @@ -489,7 +489,7 @@ left; auto. destruct IHl. left; auto. right; intro; inv; contradiction. -Qed. +Defined. Fixpoint removeA (x : A) (l : list A) : list A := match l with |