formatting

omriisack · omriisack · commit 9f6367fedcb1 · 2026-01-08T11:14:12.000+02:00
diff --git a/src/engine/IEngine.h b/src/engine/IEngine.h
@@ -44,7 +44,7 @@ class UnsatCertificateNode;
 class IEngine
 {
 public:
-    virtual ~IEngine() {};
+    virtual ~IEngine(){};
 
     enum ExitCode {
         UNSAT = 0,

Original file line number	Diff line number	Diff line change
`@@ -44,7 +44,7 @@ class UnsatCertificateNode;`
`44`	`44`	`class IEngine`
`45`	`45`	`{`
`46`	`46`	`public:`
`47`		`- virtual ~IEngine() {};`
	`47`	`+ virtual ~IEngine(){};`
`48`	`48`
`49`	`49`	`enum ExitCode {`
`50`	`50`	`UNSAT = 0,`