diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-04 12:18:06 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-04 12:18:06 +0000 |
| commit | 207ff2caf0f48db0fb539e228ec5c3938a279f2a (patch) | |
| tree | e4c2c329dcf44db95e36ff4d6872f904e39bc520 /src/globals.cc | |
| parent | 40b5936691fe2448dea0080e2319cc340bc7c65c (diff) | |
* Caching of expression successors.
Diffstat (limited to 'src/globals.cc')
| -rw-r--r-- | src/globals.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/globals.cc b/src/globals.cc index 640e960b1..a81c90caa 100644 --- a/src/globals.cc +++ b/src/globals.cc @@ -3,7 +3,7 @@ string dbRefs = "refs"; -string dbNFs = "nfs"; +string dbSuccessors = "successors"; string dbNetSources = "netsources"; string nixStore = "/UNINIT"; @@ -14,6 +14,6 @@ string nixDB = "/UNINIT"; void initDB() { createDB(nixDB, dbRefs); - createDB(nixDB, dbNFs); + createDB(nixDB, dbSuccessors); createDB(nixDB, dbNetSources); } |