From d47a8f87d6508d31a3e5853b13df000aaa7ce62f Mon Sep 17 00:00:00 2001
From: Matthew Sotoudeh <sotoudeh@stanford.edu>
Date: Thu, 6 Jan 2022 15:38:39 -0800
Subject: Also remove cddense_set.h from the CMakeList

---
 src/context/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/context/CMakeLists.txt b/src/context/CMakeLists.txt
index 73166462c..30e27dab4 100644
--- a/src/context/CMakeLists.txt
+++ b/src/context/CMakeLists.txt
@@ -15,7 +15,6 @@
 
 set(LIBCONTEXT_SOURCES
   backtrackable.h
-  cddense_set.h
   cdhashmap.h
   cdhashmap_forward.h
   cdhashset.h
-- 
cgit v1.2.3