From 8df51b9866ccda99980e9f4de7ec2f2a0cd416e6 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Fri, 26 Apr 2019 14:17:38 +0200 Subject: Rename Fappli_IEEE_extra.v into IEEE754_extra.v To match the new module names from version 3 of Flocq. Plus, it's shorter. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 7b1d3a76..dc98e7a0 100644 --- a/Makefile +++ b/Makefile @@ -53,7 +53,7 @@ FLOCQ=\ # General-purpose libraries (in lib/) VLIB=Axioms.v Coqlib.v Intv.v Maps.v Heaps.v Lattice.v Ordered.v \ - Iteration.v Zbits.v Integers.v Archi.v Fappli_IEEE_extra.v Floats.v \ + Iteration.v Zbits.v Integers.v Archi.v IEEE754_extra.v Floats.v \ Parmov.v UnionFind.v Wfsimpl.v \ Postorder.v FSetAVLplus.v IntvSets.v Decidableplus.v BoolEqual.v -- cgit