Add user-provided args after dune args

whonore · Jun 29, 2024 · 17c8f78 · 17c8f78
1 parent e6c73e5
commit 17c8f78
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/python/coqtop.py b/python/coqtop.py
@@ -256,7 +256,8 @@ def start(
 
             args = coqproject_args
             if use_dune and self.is_in_valid_dune_project(filename):
-                args += self.get_dune_args(filename, dune_compile_deps)
+                # Add user-provided args last so they take precedence.
+                args = self.get_dune_args(filename, dune_compile_deps) + args
 
             launch = self.xml.launch(filename, args)
             self.logger.debug(launch)