fix(ase): syntax error

softwarelanguageslab · Dec 27, 2024 · a80b28f · a80b28f
1 parent 1248715
commit a80b28f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/analyses/simpleactor/app/ASE/Benchmark.hs b/analyses/simpleactor/app/ASE/Benchmark.hs
@@ -147,7 +147,7 @@ instance Common.IsAnalysisResult AnalysisResult where
 analysisConfigurations :: [(String, Exp -> IO AnalysisResult)]
 analysisConfigurations = concatMap (\k -> [
       --("smallstep;" ++ show k, fmap AnalysisResult . SmallStep.analyze k),
-      ("widened per state;" ++ show k, fmap AnalysisResult . SmallStepWidened.analyze k),
+      ("widened per state;" ++ show k, fmap AnalysisResult . SmallStepWidened.analyze k)
       --("global widening;"++show k, fmap AnalysisResult . SmallStepWidened.analyzeGlobal k)
    ]) [1..5]