diff --git a/src/plugins/wp/tests/wp_plugin/bitmask0x8000.h b/src/plugins/wp/tests/wp_plugin/bitmask0x8000.i
similarity index 100%
rename from src/plugins/wp/tests/wp_plugin/bitmask0x8000.h
rename to src/plugins/wp/tests/wp_plugin/bitmask0x8000.i
diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.res.oracle b/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.res.oracle
index 1fdbf73385990607f817cc728ca4b1de46c36995..5c4ea8084169bec24a7caa4d469727168e29a2e0 100644
--- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.res.oracle
+++ b/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.res.oracle
@@ -1,5 +1,5 @@
 # frama-c -wp [...]
-[kernel] Parsing tests/wp_plugin/bitmask0x8000.h (with preprocessing)
+[kernel] Parsing tests/wp_plugin/bitmask0x8000.i (no preprocessing)
 [wp] Running WP plugin...
 [wp] 2 goals scheduled
 [wp] [Script] Goal typed_lemma_res_n : Valid