From b4a08d0815342b6238d307864f0823d0f07bb691 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 26 May 2020 22:04:20 +0200
Subject: k1c -> kvx changes

---
 test/monniaux/.gitignore | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test/monniaux/.gitignore')

diff --git a/test/monniaux/.gitignore b/test/monniaux/.gitignore
index c06c2984..4ebc3cde 100644
--- a/test/monniaux/.gitignore
+++ b/test/monniaux/.gitignore
@@ -1,5 +1,5 @@
 **.host
-**.k1c
+**.kvx
 **measures.csv
 
 commands.txt
@@ -7,7 +7,7 @@ oracle_times.txt
 verifier_times.txt
 compile_times.pdf
 measure_times.host.pdf
-measure_times.k1c.pdf
+measure_times.kvx.pdf
 
 /.mypy_cache/
 
-- 
cgit