From ca6631af5b539a8eb97b452aa70993226cf80de5 Mon Sep 17 00:00:00 2001
From: Daniel Cason <daniel.cason@informal.systems>
Date: Mon, 25 Nov 2024 10:46:57 +0100
Subject: [PATCH] spec/quint: blocksync -> consensus symlink

---
 specs/synchronization/blocksync/quint/blocksync.qnt          | 2 +-
 specs/synchronization/blocksync/quint/bsyncWithConsensus.qnt | 2 +-
 specs/synchronization/blocksync/quint/consensus              | 1 +
 3 files changed, 3 insertions(+), 2 deletions(-)
 create mode 120000 specs/synchronization/blocksync/quint/consensus

diff --git a/specs/synchronization/blocksync/quint/blocksync.qnt b/specs/synchronization/blocksync/quint/blocksync.qnt
index 57bb4e997..d4662ed06 100644
--- a/specs/synchronization/blocksync/quint/blocksync.qnt
+++ b/specs/synchronization/blocksync/quint/blocksync.qnt
@@ -6,7 +6,7 @@
 
 module blocksync {
 
-  import types.* from "../types"
+  import types.* from "./consensus/specs/types"
   export types.*
 
   type Option[a] =
diff --git a/specs/synchronization/blocksync/quint/bsyncWithConsensus.qnt b/specs/synchronization/blocksync/quint/bsyncWithConsensus.qnt
index 6261e1803..11c182d1c 100644
--- a/specs/synchronization/blocksync/quint/bsyncWithConsensus.qnt
+++ b/specs/synchronization/blocksync/quint/bsyncWithConsensus.qnt
@@ -17,7 +17,7 @@ module bsyncWithConsensus {
     Values = Set("red", "blue"),
     Rounds = Set(0, 1, 2, 3),
     Heights = Set(0) // , 1, 2, 3)
-  ).* from "../statemachineAsync"
+  ).* from "./consensus/specs/statemachineAsync"
 
   //
   // Properties
diff --git a/specs/synchronization/blocksync/quint/consensus b/specs/synchronization/blocksync/quint/consensus
new file mode 120000
index 000000000..d56ce1976
--- /dev/null
+++ b/specs/synchronization/blocksync/quint/consensus
@@ -0,0 +1 @@
+../../../../specs/quint
\ No newline at end of file