compatibility with julia <=1.10

AlgebraicJulia · Dec 8, 2024 · 5d12f2f · 5d12f2f
1 parent 2db4fc6
commit 5d12f2f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/syntax/TheoryInterface.jl b/src/syntax/TheoryInterface.jl
@@ -154,6 +154,7 @@ function theory_impl(head, body, __module__)
 
   doctarget = gensym()
   mdp(::Nothing) = []
+  mdp(::Markdown.MD) = [x]
   mdp(x::Base.Docs.DocStr) = Markdown.parse(x.text...)
 
   push!(modulelines, Expr(:toplevel, :(module Meta