From 5d12f2ff1dc68cc74e6877c4c09ade4cac167800 Mon Sep 17 00:00:00 2001
From: Kris Brown <kris@topos.institute>
Date: Sat, 7 Dec 2024 19:13:22 -0800
Subject: [PATCH] compatibility with julia <=1.10

---
 src/syntax/TheoryInterface.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/syntax/TheoryInterface.jl b/src/syntax/TheoryInterface.jl
index 343a0e8..ecb4d4b 100644
--- 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