From 33f8c83763cdf74f4a133061270cd30fad78d10c Mon Sep 17 00:00:00 2001
From: Spencer Killen <sjkillen@ualberta.ca>
Date: Thu, 12 Jan 2023 15:37:43 -0700
Subject: [PATCH] aaaa

---
 hmknf.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/hmknf.py b/hmknf.py
index b13e168..fe14567 100644
--- a/hmknf.py
+++ b/hmknf.py
@@ -2,6 +2,11 @@ from AST import loadProgram, OFormula, LRule, OBinary, OLiteral, OConst, KB
 from itertools import combinations
 from sys import flags
 
+
+# TODO TODO TODO
+# separate O atoms from KA atoms? do we care though?
+
+
 # Expects total assignments
 def oformula_sat(o: OFormula, total_T: set[str]):
     match o: