From 405e822a4e769969ef01a683d486accee0d71da2 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 27 Apr 2023 11:44:58 +0100
Subject: Change nat to positive in Sat proof

---
 src/hls/RTLParFU.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/hls/RTLParFU.v')

diff --git a/src/hls/RTLParFU.v b/src/hls/RTLParFU.v
index fe48ac5..b677be7 100644
--- a/src/hls/RTLParFU.v
+++ b/src/hls/RTLParFU.v
@@ -102,7 +102,7 @@ Definition regset := Regmap.t val.
 Definition predset := PMap.t bool.
 
 Definition eval_predf (pr: predset) (p: pred_op) :=
-  sat_predicate p (fun x => pr !! (Pos.of_nat x)).
+  sat_predicate p (fun x => pr !! x).
 
 #[global]
  Instance eval_predf_Proper : Proper (eq ==> equiv ==> eq) eval_predf.
-- 
cgit