about summary refs log tree commit diff
path: root/configure.ac
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-05-02T21·58+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-05-02T21·58+0000
commitd300b4383dabb007db08c7165fb327c12dbe8e71 (patch)
tree30b02d509ebe41d065e8c148d80506952c8e492d /configure.ac
parent68174bdc7d68746c5471e87bb74909c552e98644 (diff)
* Optimise null-ary term builders. Also declare all term builder
  functions as pure, which might improve performance a bit.

Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions