Put unfolding within spec block for java pretty printing

utwente-fmt · Sep 25, 2024 · 6b41f24 · 6b41f24
1 parent 7747d8f
commit 6b41f24
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -63,3 +63,4 @@ __pycache__
 *.pprof
 *.vpr
 test.pvl
+a.java
diff --git a/src/col/vct/col/ast/expr/resource/UnfoldingImpl.scala b/src/col/vct/col/ast/expr/resource/UnfoldingImpl.scala
@@ -16,7 +16,7 @@ trait UnfoldingImpl[G] extends NodeFamilyImpl[G] with UnfoldingOps[G] {
     Group(Text("unfolding") <+> res.show <+> "in" <>> body)
 
   def layoutJava(implicit ctx: Ctx): Doc =
-    Group(Text("\\Unfolding") <+> res.show <+> "\\in" <>> body)
+    Group(Doc.inlineSpec(Text("\\Unfolding") <+> res.show <+> "\\in") <>> body)
 
   def layoutSpec(implicit ctx: Ctx): Doc =
     Group(Text("\\unfolding") <+> res.show <+> "\\in" <>> body)