Get rid of verific warning in abstraction example

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

diff --git a/docs/examples/abstract/demo.v b/docs/examples/abstract/demo.v
index 9e5ed2b97c9b5306b5e9e35063ca46d5a6884f5c..a19150f1bdb27ce0931c5d0c7f43f1ae480686b4 100644 (file)
--- a/docs/examples/abstract/demo.v
+++ b/docs/examples/abstract/demo.v
@@ -9,7 +9,7 @@ module demo (
                if (reset)
                        counter <= 0;
                else
-                       counter <= counter + 1;
+                       counter <= counter + 20'd 1;
        end
 
        assign A = counter == 123456;