update version

matter-labs · Nov 7, 2023 · 6200707 · 6200707
1 parent fe66916
commit 6200707
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Introduction.v b/src/Introduction.v
@@ -1,4 +1,4 @@
-(** This is the specification of the instruction set of EraVM 1.4.0, a language
+(** This is the specification of the instruction set of EraVM 1.4.1, a language
 virtual machine for zkSync Era. It describes the virtual machine's architecture,
 instruction syntax and semantics, and some elements of system protocol.