Commit a7c47ef4 authored by Pierre Letouzey's avatar Pierre Letouzey
Browse files

ajout Countable.v au makefile

parent 3fb240a9
......@@ -8,7 +8,7 @@
# #
###############################################################################
COQMF_VFILES = AsciiOrder.v StringOrder.v StringUtils.v Utils.v Defs.v Nam.v Mix.v Proofs.v Alpha.v Equiv.v Alpha2.v Equiv2.v Meta.v ToCoq.v
COQMF_VFILES = AsciiOrder.v StringOrder.v StringUtils.v Utils.v Defs.v Nam.v Mix.v Proofs.v Alpha.v Equiv.v Alpha2.v Equiv2.v Meta.v ToCoq.v Countable.v
COQMF_MLIFILES =
COQMF_MLFILES =
COQMF_ML4FILES =
......
......@@ -14,4 +14,5 @@ Equiv.v
Alpha2.v
Equiv2.v
Meta.v
ToCoq.v
\ No newline at end of file
ToCoq.v
Countable.v
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment