diff --git a/ivette/.gitignore b/ivette/.gitignore
index 6f5c2ec2a1203c5f0e3546ea0130c5bc333d0be3..240ca44f95f46161b7c33d9615383da046dda4e1 100644
--- a/ivette/.gitignore
+++ b/ivette/.gitignore
@@ -3,6 +3,7 @@
 # --------------------------------------------------------------------------
 
 .ivette
+.frama-c
 .dome-*.stamp
 .dome-*.back
 .eslint-cache