From: Claire Wolf <claire@symbioticeda.com>
Date: Fri, 3 Apr 2020 13:28:23 +0000 (+0200)
Subject: Get rid of verific warning in abstraction example
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a4885ce4942367e4e170d7e36f19a2388acc538d;p=SymbiYosys.git

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 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;