From 60b91def4a481e56f849f5d04734d117eb29c902 Mon Sep 17 00:00:00 2001
From: InversionSpaces <InversionSpaces@vivaldi.net>
Date: Fri, 12 Jan 2024 13:13:52 +0100
Subject: [PATCH] Add headers (#77)

---
 math.aqua    | 2 ++
 subnet.aqua  | 2 ++
 workers.aqua | 2 ++
 3 files changed, 6 insertions(+)

diff --git a/math.aqua b/math.aqua
index 26e62e9..7f25708 100644
--- a/math.aqua
+++ b/math.aqua
@@ -1,3 +1,5 @@
+aqua MathLib declares *
+
 service Math("math"):
     -- x + y
     add(x: i64, y: i64) -> i64
diff --git a/subnet.aqua b/subnet.aqua
index 2d4e928..eb51503 100644
--- a/subnet.aqua
+++ b/subnet.aqua
@@ -1,3 +1,5 @@
+aqua SubnetLib declares *
+
 data Worker:
   pat_id: string
   host_id: string
diff --git a/workers.aqua b/workers.aqua
index 610fcc1..50a1750 100644
--- a/workers.aqua
+++ b/workers.aqua
@@ -1,3 +1,5 @@
+aqua WorkersLib declares *
+
 import PeerId from "./builtin.aqua"
 
 -- Available only on rust peers