From f791cd5d9794c96cdbb1f83e0f72d45e2c0c91b7 Mon Sep 17 00:00:00 2001
From: cryptam <102138190+CryptAm@users.noreply.github.com>
Date: Wed, 1 Jul 2026 09:29:36 +0300
Subject: [PATCH] Fix CVL documentation typos and invalid function return
 syntax

1. Fixed typo in primitive type list:
addresss > address
2. Fixed invalid CVL function return type syntax in wrap_ecrecoverCVL example:
returns address > returns (address)
Details

The CVL function return type must use parentheses, consistent with Solidity-style syntax and other CVL documentation examples:

`returns (address)`

The previous version without parentheses was invalid and could lead to incorrect usage when copying the example.
---
 docs/cvl/expr.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/cvl/expr.md b/docs/cvl/expr.md
index 530641cb..f85dc24a 100644
--- a/docs/cvl/expr.md
+++ b/docs/cvl/expr.md
@@ -698,7 +698,7 @@ function hashingScheme3CVL(HashingExample.SignedMessage s) returns bytes32 {
 The scheme implemented in `hashingScheme4` is not supported at the moment, as it combines a `bytes` type with primitives.
 The `keccak256` built-in function supports two kinds of inputs:
 - a single `bytes` parameter
-- a list of primitive (e.g., `uint256`, `uint8`, `addresss`) parameters
+- a list of primitive (e.g., `uint256`, `uint8`, `address`) parameters
 
 ```{note}
 `keccak256` is currently ***unsupported*** in quantified expressions.
@@ -745,7 +745,7 @@ contract ECExample {
 
 The following CVL function is equivalent to the `wrap_ecrecover` function in the Solidity snippet:
 ```cvl
-function wrap_ecrecoverCVL(bytes32 digest, uint8 v, bytes32 r, bytes32 s) returns address {
+function wrap_ecrecoverCVL(bytes32 digest, uint8 v, bytes32 r, bytes32 s) returns (address) {
   return ecrecover(digest,v,r,s);
 }
 ```