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/Top.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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

diff --git a/src/CHAD/Drev/Top.hs b/src/CHAD/Drev/Top.hs
index 510e73e..b4e0cbe 100644
--- a/src/CHAD/Drev/Top.hs
+++ b/src/CHAD/Drev/Top.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE ImplicitParams #-}
+{-# LANGUAGE ImportQualifiedPost #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE OverloadedLabels #-}
 {-# LANGUAGE PolyKinds #-}
@@ -17,7 +18,7 @@ import CHAD.AST.Sparse
 import CHAD.AST.SplitLets
 import CHAD.AST.Weaken.Auto
 import CHAD.Data
-import qualified CHAD.Data.VarMap as VarMap
+import CHAD.Data.VarMap qualified as VarMap
 import CHAD.Drev
 import CHAD.Drev.Accum
 import CHAD.Drev.EnvDescr
-- 
cgit v1.2.3-70-g09d2