diff options
| author | bertot | 2004-03-03 11:17:44 +0000 |
|---|---|---|
| committer | bertot | 2004-03-03 11:17:44 +0000 |
| commit | 54ad5aa4d1842caee3766dc5656144dca212aef5 (patch) | |
| tree | 604595aa2142b8d49dfd13ccb2b10f1b37543404 /contrib/interface | |
| parent | ada1dc9f9e89a4b8792089f9853f01dd810b0441 (diff) | |
make sure the implicit argument indications are in the right order
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5423 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/interface')
| -rw-r--r-- | contrib/interface/name_to_ast.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/interface/name_to_ast.ml b/contrib/interface/name_to_ast.ml index 8443526930..eaff096883 100644 --- a/contrib/interface/name_to_ast.ml +++ b/contrib/interface/name_to_ast.ml @@ -61,8 +61,8 @@ let impl_args_to_string l = let implicit_args_id_to_ast_list id l ast_list = (match impl_args_to_string l with None -> ast_list - | Some(s) -> CommentString ("For " ^ (string_of_id id)):: - CommentString s:: + | Some(s) -> CommentString s:: + CommentString ("For " ^ (string_of_id id)):: ast_list);; (* This function construct an ast to enumerate the implicit positions for an |