From 2b1a40b5933b8b0dceaae744e5b70cb604822c9d Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 16 Jun 2025 23:21:55 +0200 Subject: CHAD.hs compiles --- src/CHAD/Top.hs | 1 - 1 file changed, 1 deletion(-) (limited to 'src/CHAD/Top.hs') diff --git a/src/CHAD/Top.hs b/src/CHAD/Top.hs index 261ddfe..130174a 100644 --- a/src/CHAD/Top.hs +++ b/src/CHAD/Top.hs @@ -15,7 +15,6 @@ import AST import AST.SplitLets import AST.Weaken.Auto import CHAD -import CHAD.Accum import CHAD.EnvDescr import CHAD.Types import Data -- cgit v1.2.3-70-g09d2