diff --git a/src/ast/finite_sets_decl_plugin.cpp b/src/ast/finite_sets_decl_plugin.cpp
deleted file mode 100644
index e69de29bb..000000000
diff --git a/src/ast/finite_sets_decl_plugin.h b/src/ast/finite_sets_decl_plugin.h
deleted file mode 100644
index 7203e0ff8..000000000
--- a/src/ast/finite_sets_decl_plugin.h
+++ /dev/null
@@ -1,27 +0,0 @@
-/*++
-Copyright (c) 2025 Microsoft Corporation
-
-Module Name:
-
-    finite_sets_decl_plugin.h
-
-Abstract:
-    Declaration plugin for finite sets signatures
-
-Sort:
-    FiniteSet(S)
-
-Operators:
-    set.empty : (FiniteSet S)
-    set.union : (FiniteSet S) (FiniteSet S) -> (FiniteSet S)
-    set.intersect : (FiniteSet S) (FiniteSet S) -> (FiniteSet S)
-    set.difference : (FiniteSet S) (FiniteSet S) -> (FiniteSet S)
-    set.singleton : S -> (FiniteSet S)
-    set.in : S (FiniteSet S) -> Bool
-    set.size : (FiniteSet S) -> Int
-    set.subset : (FiniteSet S) (FiniteSet S) -> Bool
-    set.map : (S -> T) (FiniteSet S) -> (FiniteSet T)
-    set.filter : (S -> Bool) (FiniteSet S) -> (FiniteSet S)
-    set.range : Int Int -> (FiniteSet Int)
-   
---*/