From fd6cc82c16303cb5837a39e530860f35170eb779 Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Tue, 12 Mar 2024 15:39:30 +0100
Subject: [PATCH] docs: pure and view functions

---
 certora/helpers/MerkleTree.sol | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/helpers/MerkleTree.sol b/certora/helpers/MerkleTree.sol
index 5bca7ed..806adfd 100644
--- a/certora/helpers/MerkleTree.sol
+++ b/certora/helpers/MerkleTree.sol
@@ -61,7 +61,7 @@ contract MerkleTree {
         node.hashNode = keccak256(abi.encode(leftNode.hashNode, rightNode.hashNode));
     }
 
-    /* GETTERS */
+    /* PURE AND VIEW FUNCTIONS */
 
     function isEmpty(Node memory node) public pure returns (bool) {
         return node.left == 0 && node.right == 0 && node.addr == address(0) && node.reward == address(0)