diff options
| author | serpyc | 2009-10-04 10:40:03 +0000 |
|---|---|---|
| committer | serpyc | 2009-10-04 10:40:03 +0000 |
| commit | 88909c92cad0044dac83539b2b3d385242ed851e (patch) | |
| tree | f8c946fc168920aab8c7e47cf875be8404f1bd10 /parsing | |
| parent | 4b993912cc6c6135e41ea959f934fa73d1da05ab (diff) | |
Removal of trailing spaces.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12371 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/g_tactic.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/g_tactic.ml4 b/parsing/g_tactic.ml4 index 928aa3e09b..3b27b01714 100644 --- a/parsing/g_tactic.ml4 +++ b/parsing/g_tactic.ml4 @@ -160,7 +160,7 @@ let mkTacCase with_evar = function | [([ElimOnIdent id],None,(None,None))],None -> TacCase (with_evar,(CRef (Ident id),NoBindings)) | ic -> - if List.exists (fun (cl,a,b) -> + if List.exists (fun (cl,a,b) -> List.exists (function ElimOnAnonHyp _ -> true | _ -> false) cl) (fst ic) then |