diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-14 10:30:01 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-14 10:30:01 -0700 |
| commit | b98d3876b67a35f1d913ba374749bc97103b7790 (patch) | |
| tree | 7619491997d932ce5f59ef4a0af0a1e801e7cd1f /020run.cc | |
| parent | 064aaaa4327f2ea9eb9a52b8ff2b22e168861eb1 (diff) | |
| download | mu-b98d3876b67a35f1d913ba374749bc97103b7790.tar.gz | |
1367
Diffstat (limited to '020run.cc')
| -rw-r--r-- | 020run.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/020run.cc b/020run.cc index 288ed708..635356c4 100644 --- a/020run.cc +++ b/020run.cc @@ -160,7 +160,7 @@ void load_permanently(string filename) { fin.close(); // freeze everything so it doesn't get cleared by tests recently_added_recipes.clear(); - recently_added_types.clear(); + // End load_permanently. } //:: On startup, load everything in core.mu |