From d31f02552238080497ff795591012062d1f49a58 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 23 Jul 2021 14:51:27 +0200
Subject: [PATCH] remove an unused import

---
 iris_heap_lang/lib/par.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/iris_heap_lang/lib/par.v b/iris_heap_lang/lib/par.v
index 8fb524dac..1f9d69c12 100644
--- a/iris_heap_lang/lib/par.v
+++ b/iris_heap_lang/lib/par.v
@@ -1,7 +1,6 @@
 From iris.heap_lang Require Import proofmode notation.
 From iris.heap_lang Require Export spawn.
 From iris.prelude Require Import options.
-Import uPred.
 
 Definition parN : namespace := nroot .@ "par".
 
-- 
GitLab