From 5968648f9e9db09de462dd8c3530febd66466312 Mon Sep 17 00:00:00 2001 From: Jasper Hugunin Date: Sat, 17 Feb 2018 07:35:57 -0800 Subject: Implement name mangling option --- tools/coqc.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/coqc.ml b/tools/coqc.ml index b381c5ba4..11c3e4f78 100644 --- a/tools/coqc.ml +++ b/tools/coqc.ml @@ -109,7 +109,7 @@ let parse_args () = |"-load-ml-source"|"-require"|"-load-ml-object" |"-init-file"|"-dump-glob"|"-compat"|"-coqlib"|"-top" |"-async-proofs-j" |"-async-proofs-private-flags" |"-async-proofs" |"-w" - |"-o"|"-profile-ltac-cutoff" + |"-o"|"-profile-ltac-cutoff"|"-mangle-names" as o) :: rem -> begin match rem with -- cgit v1.2.3