seq: fixed comment

e5a3c677 · Jean-Christophe Filliatre · 115182a7 · e5a3c677
Commit e5a3c677 authored Mar 14, 2016 by Jean-Christophe Filliatre
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 2 deletions

theories/seq.why theories/seq.why +0 -2

No files found.
--- a/theories/seq.why
+++ b/theories/seq.why
@@ -409,8 +409,6 @@ end

 (* TODO / TO DISCUSS

-  - reverse
-
  - what about s[i..j] when i..j is not a valid range?
    left undefined? empty sequence?