From a4885ce4942367e4e170d7e36f19a2388acc538d Mon Sep 17 00:00:00 2001 From: Claire Wolf Date: Fri, 3 Apr 2020 15:28:23 +0200 Subject: [PATCH] Get rid of verific warning in abstraction example Signed-off-by: Claire Wolf --- docs/examples/abstract/demo.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/examples/abstract/demo.v b/docs/examples/abstract/demo.v index 9e5ed2b..a19150f 100644 --- 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; -- 2.30.2