diff --git a/aqua-examples/vrfun/.gitignore b/aqua-examples/vrfun/.gitignore
index bbccc88..a466224 100644
--- a/aqua-examples/vrfun/.gitignore
+++ b/aqua-examples/vrfun/.gitignore
@@ -1,5 +1,4 @@
 debug/
 target/
-Cargo.lock
 **/*.bk
 **/*.bak