diff options
Diffstat (limited to 'src/fstate.hh')
| -rw-r--r-- | src/fstate.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/fstate.hh b/src/fstate.hh index 159c7ba46338..8a873a5acd22 100644 --- a/src/fstate.hh +++ b/src/fstate.hh @@ -85,6 +85,8 @@ Error badTerm(const format & f, ATerm t); /* Hash an aterm. */ Hash hashTerm(ATerm t); +FState hash2fstate(Hash hash); + /* Read an aterm from disk, given its hash. */ ATerm termFromHash(const Hash & hash, string * p = 0); |