From 35ef99811f4597dd041faca3ecd11556aa2b045f Mon Sep 17 00:00:00 2001
From: drgorillamd <83670532+drgorillamd@users.noreply.github.com>
Date: Tue, 28 May 2024 18:08:05 +0200
Subject: [PATCH] chore: comment fix

---
 test/invariants/fuzz/Greeter.t.sol     | 1 -
 test/invariants/symbolic/Greeter.t.sol | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/test/invariants/fuzz/Greeter.t.sol b/test/invariants/fuzz/Greeter.t.sol
index 25bc86d3..09887ded 100644
--- a/test/invariants/fuzz/Greeter.t.sol
+++ b/test/invariants/fuzz/Greeter.t.sol
@@ -8,7 +8,6 @@ interface IHevm {
 }
 
 contract InvariantGreeter {
-  // See https://github.com/a16z/halmos-cheatcodes?tab=readme-ov-file
   IHevm internal _hevm = IHevm(0x7109709ECfa91a80626fF3989D68f67F5b1DD12D);
 
   Greeter internal _targetContract;
diff --git a/test/invariants/symbolic/Greeter.t.sol b/test/invariants/symbolic/Greeter.t.sol
index 763a99a7..56c20508 100644
--- a/test/invariants/symbolic/Greeter.t.sol
+++ b/test/invariants/symbolic/Greeter.t.sol
@@ -4,7 +4,7 @@ pragma solidity 0.8.23;
 import {Greeter, IERC20} from 'contracts/Greeter.sol';
 
 import {Test} from 'forge-std/Test.sol';
-import {SymTest} from 'halmos-cheatcodes/src/SymTest.sol';
+import {SymTest} from 'halmos-cheatcodes/src/SymTest.sol'; // See https://github.com/a16z/halmos-cheatcodes?tab=readme-ov-file
 
 contract SymbolicGreeter is SymTest, Test {
   Greeter public targetContract;