From 8cd60be654c60b1242ea7fc166b2f1a18c1a59c5 Mon Sep 17 00:00:00 2001
From: Alberto Gonzalez <boqwxp@airmail.cc>
Date: Mon, 29 Jun 2020 22:06:43 +0000
Subject: qbfsat: Clean up and refactor data structures into `qbfsat.h`.

---
 CODEOWNERS | 1 +
 1 file changed, 1 insertion(+)

(limited to 'CODEOWNERS')

diff --git a/CODEOWNERS b/CODEOWNERS
index a73779920..350a62120 100644
--- a/CODEOWNERS
+++ b/CODEOWNERS
@@ -33,5 +33,6 @@ misc/*.py                      @btut
 backends/firrtl                @ucbjrl @azidar
 
 passes/sat/qbfsat.cc           @boqwxp
+passes/sat/qbfsat.h            @boqwxp
 passes/cmds/exec.cc            @boqwxp
 passes/cmds/printattrs.cc      @boqwxp
-- 
cgit v1.2.3