From e5dce61f35fcc0e716f7aadc32f254c8ba103887 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 24 Jan 2022 16:51:28 +0100
Subject: Start working on name generation for the synthesis

---
 TODO.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'TODO.md')

diff --git a/TODO.md b/TODO.md
index d92e9640..ff7ba7ab 100644
--- a/TODO.md
+++ b/TODO.md
@@ -2,6 +2,8 @@
 
 0. update the end borrows internal to abstractions to not introduce a Bottom
 
+1. reorder the branches of matches
+
 1. stateful maps/sets modules (hashtbl?)
 
 1. Check the occurrence of visitors like visit_AEndedMutLoan: the parameters are
-- 
cgit v1.2.3