removed now-unneeded using

sdcondon · Jun 18, 2024 · 387c44c · 387c44c
1 parent e8fa29c
commit 387c44c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/SCFirstOrderLogic/Inference/IQueryExtensions.cs b/src/SCFirstOrderLogic/Inference/IQueryExtensions.cs
@@ -1,7 +1,5 @@
 // Copyright (c) 2021-2024 Simon Condon.
 // You may use this file in accordance with the terms of the MIT license.
-using System.Runtime.CompilerServices;
-
 namespace SCFirstOrderLogic.Inference;
 
 /// <summary>