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/nix.cc | |
parent | 08b7319f5bca01f46916faaec0f9de420404a5ad (diff) |
* Performance improvement: don't register already registered terms,
thus greatly reducing the number of db transactions.
Diffstat (limited to 'src/nix.cc')
0 files changed, 0 insertions, 0 deletions