(no commit message)

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index 9ec79858f3cca8c393ec6c91071fe633221a3819..b5fe52c2b0efbde9b534891f8de652214e6fd91d 100644 (file)
--- 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