From 81618c8d08bd70effcbe3ec087f69106e3cedf95 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 25 May 2022 18:26:20 +0100
Subject: Translate the base languages

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

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

diff --git a/src/hls/IfConversion.v b/src/hls/IfConversion.v
index 2516109..4e62a68 100644
--- a/src/hls/IfConversion.v
+++ b/src/hls/IfConversion.v
@@ -106,7 +106,7 @@ Fixpoint get_loops (b: bourdoncle): list node :=
   end.
 
 Definition is_loop (b: list node) (n: node) :=
-  any (fun x => Pos.eqb x n) b.
+  any (Pos.eqb n) b.
 
 Definition is_flat_cfi (n: cf_instr) :=
   match n with
-- 
cgit