From 11f14a4763533dbc24b0e98d115071036025d4f6 Mon Sep 17 00:00:00 2001
From: ericmarin <maarin.eric@gmail.com>
Date: Mon, 22 Jun 2026 00:43:45 +0200
Subject: refinement

---
 chapters/03-core.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'chapters/03-core.tex')

diff --git a/chapters/03-core.tex b/chapters/03-core.tex
index 170cf06..c222f0d 100644
--- a/chapters/03-core.tex
+++ b/chapters/03-core.tex
@@ -1,4 +1,4 @@
-\chapter{VEIN: VErification via Interaction Nets}
+\chapter{VEIN}
 \label{ch:core}
 
 This chapter contains details on framework implementation (\textbf{\Cref{sec:implementation}}), the
-- 
cgit v1.2.3

