fix missing using

sfiruch · Sep 5, 2023 · ca223a9 · ca223a9
1 parent 4cdd539
commit ca223a9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/SATInterface/OrExpr.cs b/SATInterface/OrExpr.cs
@@ -1,6 +1,7 @@
 using System;
 using System.Buffers;
 using System.Collections.Generic;
+using System.Diagnostics;
 using System.Linq;
 using System.Text;