diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-10T13·22+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-10T13·22+0000 |
| commit | 1eb4da156cca1b1981ab1f60bb9797ed1e93101a (patch) | |
| tree | 9a06beed80ae344b3cca78660462a7447acf26f2 /src/util.hh | |
| parent | 08b7319f5bca01f46916faaec0f9de420404a5ad (diff) | |
* Performance improvement: don't register already registered terms,
thus greatly reducing the number of db transactions.
Diffstat (limited to 'src/util.hh')
0 files changed, 0 insertions, 0 deletions