Update todo for more features to verificsva.cc

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc
index c56854acc28aea6c6b1878ece2b280d8bbab6891..f221dfcc2d0e096ead8ded4739f8ac283bde1b95 100644 (file)
--- a/frontends/verific/verificsva.cc
+++ b/frontends/verific/verificsva.cc
@@ -35,6 +35,7 @@
 //
 // basic_property:
 //   sequence
+//   not basic_property
 //   sequence #-# basic_property
 //   sequence #=# basic_property
 //   basic_property or basic_property       (cover only)