From ca223a9480265cd4302431903e7ad5037c6e09ac Mon Sep 17 00:00:00 2001
From: Simon Felix <de@iru.ch>
Date: Tue, 5 Sep 2023 15:50:53 +0200
Subject: [PATCH] fix missing using

---
 SATInterface/OrExpr.cs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/SATInterface/OrExpr.cs b/SATInterface/OrExpr.cs
index 5afc0b0..a7b3225 100644
--- 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;