From 3733c6ef5afd1ed4480ffc5ac1649b85b519784e Mon Sep 17 00:00:00 2001
From: Francesco Mecca <me@francescomecca.eu>
Date: Fri, 22 May 2020 23:59:44 +0200
Subject: [PATCH] halp

---
 todo.org | 1 +
 1 file changed, 1 insertion(+)

diff --git a/todo.org b/todo.org
index b697f43..d46db30 100644
--- a/todo.org
+++ b/todo.org
@@ -13,6 +13,7 @@
 - [X] spiega nelle relazioni che bounded quando coperta da p-semiflows
 - [X] Vedi bisimulazione ed equivalenze in teoria analisi
 - [ ] Che significa urgente in uppaal?
+- [ ] Uppaal: x = 0 come guardia, non ==
 - [-] Teoria [1/13]
   - [ ] Hierarchy of equivalences
   - [ ] algebra.extra.lucca: internal/external choices