From c84eb2c069dff958567ecf0d89b28549ebe7ef6f Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Tue, 11 Feb 2020 16:12:03 +0000
Subject: [PATCH 1/1]

---
 HDL_workflow/coriolis2.mdwn | 21 ---------------------
 1 file changed, 21 deletions(-)

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index 9ec79858f..b5fe52c2b 100644
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -91,27 +91,6 @@ In the chroot, as the ordinary schroot user:
     cd ~/alliance
     git clone https://www-soc.lip6.fr/git/alliance.git
     cd alliance/src
-
-Modify the following file (may not be necessary later):
-
-    diff --git a/alliance/src/pat/src/pat_desc_y.y b/alliance/src/pat/src/pat_desc_y.y
-    index 14720dbc..5390d2a4 100644
-    --- a/alliance/src/pat/src/pat_desc_y.y
-    +++ b/alliance/src/pat/src/pat_desc_y.y
-    @@ -85,8 +85,8 @@ unsigned short  position; /* # of statement since last comment    */
-     static struct papat *lcl_addpapat (lastpapat, label, line)
-
-     struct papat   *lastpapat; /* pointer on the last papat structure  */
-    -char           *label;     /* pattern's label          */
-    -unsigned short  line;      /* pattern' line number         */
-    +char           *label;
-    +unsigned short  line;
-
-       {
-       struct papat *ptpat;
-
-Continue running as user:
-
     ./autostuff
     cd ~/alliance/build
     export ALLIANCE_TOP=$HOME/alliance/install
-- 
2.30.2