From b9860a9bc7c546bfab207c76d15e0f72e6047922 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Sat, 18 Apr 2020 20:56:34 +0100
Subject: Add more monomorphisation rewrites

Supporting more ASL idioms
---
 lib/vector_dec.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/vector_dec.sail b/lib/vector_dec.sail
index 2a9e96f0..eaea2c99 100644
--- a/lib/vector_dec.sail
+++ b/lib/vector_dec.sail
@@ -230,7 +230,7 @@ val get_slice_int = "get_slice_int" : forall 'w. (int('w), int, int) -> bits('w)
 val set_slice_int = "set_slice_int" : forall 'w. (int('w), int, int, bits('w)) -> int
 
 val set_slice_bits = "set_slice" : forall 'n 'm.
-  (int('n), int('m), bits('n), int, bits('m)) -> bits('n)
+  (implicit('n), int('m), bits('n), int, bits('m)) -> bits('n)
 
 /*!
 converts a bit vector of length $n$ to an integer in the range $0$ to $2^n - 1$.
-- 
cgit v1.2.3