diff --git a/iris_heap_lang/lib/par.v b/iris_heap_lang/lib/par.v
index 8fb524dac5ea11f54c32b97ea1ab4e1b92cd054a..1f9d69c1210b324cbadc2fc43176dccdbfeab8eb 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".