diff options
Diffstat (limited to 'src/server/PGFService.hs')
| -rw-r--r-- | src/server/PGFService.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index a63af3dd8..0cf67c5c8 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -88,7 +88,7 @@ data Caches = Caches { pgfCache::Cache PGF, cncLabelsCache::Cache CncLabels } newPGFCache _ = do pgfCache <- newCache' PGF.readPGF lblCache <- newCache' (fmap PGF.getDepLabels . readFile) - clblCache <- newCache'(fmap PGF.getCncDepLabels .readFile) + clblCache <- newCache'(fmap PGF.getCncDepLabels .readFile) return $ Caches pgfCache lblCache clblCache flushPGFCache c = flushCache (pgfCache c) |