From b09ba860f7ca921397e3d55e9027d3215291cbac Mon Sep 17 00:00:00 2001
From: Michael Kuron <mkuron@icp.uni-stuttgart.de>
Date: Wed, 4 Sep 2019 14:48:06 +0200
Subject: [PATCH] Actually increment counter inside random_symbol

---
 pystencils/rng.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pystencils/rng.py b/pystencils/rng.py
index 4341a0b3..5bc91b56 100644
--- a/pystencils/rng.py
+++ b/pystencils/rng.py
@@ -111,3 +111,4 @@ def random_symbol(assignment_list, seed=TypedSymbol("seed", np.uint32), rng_node
                 assignment_list.insert(0, node)
                 inserted = True
             yield symbol
+        counter += 1
-- 
GitLab