code fix

Author: gustavo-grieco

stack.yaml

@@ -8,7 +8,7 @@ extra-deps:
 - git: https://github.com/argotorg/hevm.git
   commit: 8b2cb6266413f7f964e49053a278a895a21dc507
 - git: https://github.com/gustavo-grieco/haskell-mcp-server.git
-  commit: 9fd60af428b96ae4bc63a133b3960ed934494189
+  commit: 3bd3cdcc29f4ae853290e6c05e1db3dfa6ca2312
 
 - smt2-parser-0.1.0.1@sha256:1e1a4565915ed851c13d1e6b8bb5185cf5d454da3b43170825d53e221f753d77,1421
 - spawn-0.3@sha256:b91e01d8f2b076841410ae284b32046f91471943dc799c1af77d666c72101f02,1162