From a4885ce4942367e4e170d7e36f19a2388acc538d Mon Sep 17 00:00:00 2001
From: Claire Wolf <claire@symbioticeda.com>
Date: Fri, 3 Apr 2020 15:28:23 +0200
Subject: [PATCH] Get rid of verific warning in abstraction example

Signed-off-by: Claire Wolf <claire@symbioticeda.com>
---
 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;