From 522a43d16e812e10ff69747ee916918b4bd29f2f Mon Sep 17 00:00:00 2001
From: jacopograndi <jak.sk8@hotmail.it>
Date: Sun, 5 Sep 2021 23:00:42 +0200
Subject: invariant added as 'inv'

---
 game/ground.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'game/ground.h')

diff --git a/game/ground.h b/game/ground.h
index ab8f0e8..d1a4f34 100644
--- a/game/ground.h
+++ b/game/ground.h
@@ -16,13 +16,14 @@ class Resource {
 
 class Ground {
     public:
-    Ground (int sx, int sy);
-    ~Ground ();
+    Ground () {}
     
     int *tiles;
     
     std::vector<Resource> resources;
     
+    void build (int sx, int sy);
+    
     int sizex;
     int sizey;
     int at (int x, int y);
-- 
cgit v1.2.3-54-g00ecf