diff options
| author | Pierre-Marie Pédrot | 2014-05-22 14:10:54 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-05-22 14:24:58 +0200 |
| commit | 180a39219f6987b63e7cc34500371d5ce03188c4 (patch) | |
| tree | 939830a3c58e4ec3c1c641af11bf0b645a285796 /dev/base_include | |
| parent | 4d6a5677f0f4af0193bb42f5d2938287efaaf91b (diff) | |
Moving the "specialize" tactic out of the AST. Also removed an obsolete
variant of it, accepting an additional integer.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions