Fixed session name.
ci/woodpecker/push/build Pipeline failed Details

This commit is contained in:
Achim D. Brucker 2022-03-25 20:52:40 +00:00
parent 4c51001873
commit 49f5347083
1 changed files with 1 additions and 1 deletions

View File

@ -1,6 +1,6 @@
chapter AFP
session Featherweight_OCL-devel (AFP) = HOL +
session "Featherweight_OCL-devel" (AFP) = HOL +
description "Featherweight-OCL"
options [document_variants = "annex-a=annexa,-theory,-afp,-proof,-ML:document=afp,-annexa:outline=-annexa,afp,/proof,/ML",
show_question_marks = false, timeout = 600]