diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-07 09:25:26 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-07 09:25:26 +0000 |
| commit | 5895c160c466c0a97716ffdf5ef654eb1c3c6009 (patch) | |
| tree | 8e2756dd75b785f550c00538e4b97570d6a4c1c6 /src/fix.cc | |
| parent | 609a224848dd08cea35a89b03b64274c82f0a2a7 (diff) | |
* Make dbRefs a mapping from Hash to [Path].
Diffstat (limited to 'src/fix.cc')
| -rw-r--r-- | src/fix.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/fix.cc b/src/fix.cc index fdf12ffef..eb77a4942 100644 --- a/src/fix.cc +++ b/src/fix.cc @@ -29,7 +29,7 @@ static bool isFState(Expr e, string & path) } else if (ATmatch(e, "Include(<str>)", &s1)) { - string fn = queryFromStore(parseHash(s1)); + string fn = queryPathByHash(parseHash(s1)); return isFState(evalFile(fn), path); } else return false; |