diff options
| author | Matthieu Sozeau | 2014-05-05 14:24:11 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-05-06 09:59:02 +0200 |
| commit | 8fba83723e142696c480843a318a3959ed9ed87c (patch) | |
| tree | 323b6ca1a5148a09dc9d6c8e4b4d266734a89015 /plugins/syntax/string_syntax.ml | |
| parent | 0f1e73d09a2d1f5116b49a90f94297f98a70f9a3 (diff) | |
Use new tactic combinators in tclABSTRACT, to avoid blowup when using V82.tactic (tclEVARS _).
Again, performance is back to normal. Remove reintroduced try .. with _ -> in raw_enter's.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions