Massimiliano Culpo b11dd0478a Make SingleFileScope able to repopulate the cache after clearing it (#22559) ... fixes #22547 SingleFileScope was not able to repopulate its cache before this change. This was affecting the configuration seen by environments using clingo bootstrapped from sources, since the bootstrapping operation involved a few cache invalidation for config files.		2021-05-22 11:51:20 -07:00
..
spack	Make SingleFileScope able to repopulate the cache after clearing it (#22559)	2021-05-22 11:51:20 -07:00