From 633ea63a623c4d6fe1a8156699ee9069bd9ed295 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 8 Sep 2024 17:57:17 -0700 Subject: [PATCH] remove extra file Signed-off-by: Nikolaj Bjorner --- src/ast/sls/.#sls_user_sort_plugin.cpp | 1 - 1 file changed, 1 deletion(-) delete mode 100644 src/ast/sls/.#sls_user_sort_plugin.cpp diff --git a/src/ast/sls/.#sls_user_sort_plugin.cpp b/src/ast/sls/.#sls_user_sort_plugin.cpp deleted file mode 100644 index 48891894f..000000000 --- a/src/ast/sls/.#sls_user_sort_plugin.cpp +++ /dev/null @@ -1 +0,0 @@ -nbjorner@LAPTOP-04AEAFKH.15652:1725565681 \ No newline at end of file