From 57eb321eaeabc53c8c8b83d0554d8a8cca6eed76 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 10 Nov 2025 21:57:54 +0100
Subject: Use ImportQualifiedPost

---
 src/CHAD/Drev.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/CHAD/Drev.hs')

diff --git a/src/CHAD/Drev.hs b/src/CHAD/Drev.hs
index 595d3c7..27dc6dd 100644
--- a/src/CHAD/Drev.hs
+++ b/src/CHAD/Drev.hs
@@ -3,6 +3,7 @@
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE ImplicitParams #-}
+{-# LANGUAGE ImportQualifiedPost #-}
 {-# LANGUAGE ImpredicativeTypes #-}
 {-# LANGUAGE OverloadedLabels #-}
 {-# LANGUAGE PolyKinds #-}
@@ -45,7 +46,7 @@ import CHAD.AST.Env
 import CHAD.AST.Sparse
 import CHAD.AST.Weaken.Auto
 import CHAD.Data
-import qualified CHAD.Data.VarMap as VarMap
+import CHAD.Data.VarMap qualified as VarMap
 import CHAD.Data.VarMap (VarMap)
 import CHAD.Drev.Accum
 import CHAD.Drev.EnvDescr
-- 
cgit v1.2.3-70-g09d2