From 1b892eefc3c77e2f2672a630eb2ed5c7d7de01ca Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 23 Apr 2013 18:16:02 +0000
Subject: minor cleanup in coqtop.ml

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16445 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/dumpglob.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp')

diff --git a/interp/dumpglob.ml b/interp/dumpglob.ml
index c708d93dab..74c60f75be 100644
--- a/interp/dumpglob.ml
+++ b/interp/dumpglob.ml
@@ -32,7 +32,7 @@ let noglob () = glob_output := NoGlob
 
 let dump_to_stdout () = glob_output := StdOut; glob_file := Pervasives.stdout
 
-let dump_to_dotglob f = glob_output := MultFiles
+let dump_to_dotglob () = glob_output := MultFiles
 
 let dump_into_file f = glob_output := File f; open_glob_file f
 
-- 
cgit v1.2.3