From 81e5b1a2af4d870eca90e970b663d95e0833a4bb Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 5 Jan 2019 18:04:45 +0000
Subject: [PATCH] Fixed ROOT file syntax.

---
 Featherweight_OCL/ROOT | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Featherweight_OCL/ROOT b/Featherweight_OCL/ROOT
index 1fce9c4..3ef4b7d 100644
--- a/Featherweight_OCL/ROOT
+++ b/Featherweight_OCL/ROOT
@@ -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]