From 7d1b8d58798eb43af2f1014f2a03ce61ed7496c0 Mon Sep 17 00:00:00 2001
From: Manuel Serrano <Manuel.Serrano@inria.fr>
Date: Fri, 15 Dec 2023 16:37:50 +0100
Subject: [PATCH] .

---
 doc/doc.json             | 2 +-
 lib/compiler.js          | 6 +++---
 test/samelocalname.hh.js | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/doc/doc.json b/doc/doc.json
index 936cd0f9..1933af5c 100644
--- a/doc/doc.json
+++ b/doc/doc.json
@@ -5,7 +5,7 @@
    "github": "https://github.com/manuel-serrano/hiphop.git"
    "urlbase": "ftp://ftp-sop.inria.fr/indes/fp/HipHop",
    "homepage": "http://hop.inria.fr/hiphop",
-   "date": "14 December 2023",
+   "date": "15 December 2023",
    "chapters": [ { "name": "Home", "icon": "glyphicon-home", "href": "index.html" },
 		 { "name": "Download", "icon": "glyphicon-cloud-download", "href": "download.html" },
 		 { "name": "Dev", "icon": "glyphicon-cog", "href": "dev.html" },
diff --git a/lib/compiler.js b/lib/compiler.js
index cbb47bdf..d3122b39 100644
--- a/lib/compiler.js
+++ b/lib/compiler.js
@@ -3,7 +3,7 @@
 /*    -------------------------------------------------------------    */
 /*    Author      :  Colin Vidal, Manuel Serrano                       */
 /*    Creation    :  Mon Jul 16 18:06:28 2018                          */
-/*    Last change :  Thu Dec 14 07:56:41 2023 (serrano)                */
+/*    Last change :  Fri Dec 15 15:37:47 2023 (serrano)                */
 /*    Copyright   :  2018-23 Inria                                     */
 /*    -------------------------------------------------------------    */
 /*    HipHop compiler                                                  */
@@ -1821,9 +1821,9 @@ function compile(machine, ast_node) {
 	 dumpNets(machine, true, ".nets+.json");
       }
    }
-   let { loc, size, signals, json, posFlag} = 
+   let { loc, size, signals, json, posFlag } = 
       causality.findCausalityErrorDeep(machine, true);
-   if (size > 0 && machine.verbose >= 2) {
+   if (size > 0 && machine.verbose >= 3) {
       console.log(`Warning: Potential causality cycle`, json);
 } else
    if (size < 0) {
diff --git a/test/samelocalname.hh.js b/test/samelocalname.hh.js
index 1db3f4d2..01cbcfa9 100644
--- a/test/samelocalname.hh.js
+++ b/test/samelocalname.hh.js
@@ -1,7 +1,7 @@
 "use @hop/hiphop"
 "use hopscript"
 
-import * as hh from "@host/hiphost";
+import * as hh from "@hop/hiphop";
 import { format } from "util";
 
 hiphop module prg() {