From f4603f5b4b965105888e0b47b4a3570dc565395b Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Wed, 7 Dec 2022 18:45:29 +0100
Subject: [PATCH] add TODO

---
 client/src/components/TacticState.tsx | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/client/src/components/TacticState.tsx b/client/src/components/TacticState.tsx
index 7a926ca..6eb9dee 100644
--- a/client/src/components/TacticState.tsx
+++ b/client/src/components/TacticState.tsx
@@ -12,6 +12,8 @@ import { Paper, Box, Typography, Alert } from '@mui/material';
 
 const errorRegex = /<stdin>:1:(?<col>[^:]*): (?<msg>.*)/;
 
+// TODO: Dead variables (x✝) are not displayed correctly.
+
 function Goal({ goal }) {
   const hasObject = typeof goal.objects === "object" && goal.objects.length > 0
   const hasAssumption = typeof goal.assumptions === "object" && goal.assumptions.length > 0