From 449b3f93560439f40711091d1f91267fb0de0163 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Pereira?= <joaopereira.19@gmail.com>
Date: Fri, 15 Nov 2024 15:24:31 +0100
Subject: [PATCH] rename file

---
 router/{assumptions.gobra => post-init-invs.gobra} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename router/{assumptions.gobra => post-init-invs.gobra} (100%)

diff --git a/router/assumptions.gobra b/router/post-init-invs.gobra
similarity index 100%
rename from router/assumptions.gobra
rename to router/post-init-invs.gobra