From 244778cd0238ba3cfedfd68f7dcc130e424ab179 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Date: Sun, 3 Nov 2024 14:40:40 +0100
Subject: [PATCH] README: rename

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
---
 README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README b/README
index 90354bc..8b1084d 100644
--- a/README
+++ b/README
@@ -1,4 +1,4 @@
-isa, a tool for Integer Set Analysis
+ppn, a tool for constructing polyhedral process networks
 
 Some common commands:
 
-- 
2.11.4.GIT