From 4e990b6310cf1cadaebc1208a766c5e6028d4bd7 Mon Sep 17 00:00:00 2001
From: cryptam <102138190+CryptAm@users.noreply.github.com>
Date: Wed, 24 Jun 2026 13:23:47 +0300
Subject: [PATCH] fix: add missing 'function'

In the CVL1 > CVL2 migration example within the changes section, the `function` keyword was missing from the method declaration inside the `methods` block.

**Before:**
```text
transferFrom(address, address, uint) returns(bool) envfree
```

**After:**
```text
function transferFrom(address, address, uint) returns(bool) envfree
```
---
 docs/cvl/cvl2/changes.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/cvl/cvl2/changes.md b/docs/cvl/cvl2/changes.md
index 9ca77a58d..9a2c0d413 100644
--- a/docs/cvl/cvl2/changes.md
+++ b/docs/cvl/cvl2/changes.md
@@ -41,7 +41,7 @@ In CVL 2, methods block entries must now start with `function` and end with
 [MethodsEntries.spec-diff]: https://github.com/Certora/CVL2Migration/compare/cvl1..cvl2?diff=split#diff-9cd1ae6f2c8146e323568cb25c79d4f6671fcb690872dce33591bd514759fc24
 
 ```cvl
-transferFrom(address, address, uint) returns(bool) envfree
+function transferFrom(address, address, uint) returns(bool) envfree
 ```
 will become
 ```cvl