diff --git a/html/coq.tsx b/html/coq.tsx index 50b132c..8647bb1 100644 --- a/html/coq.tsx +++ b/html/coq.tsx @@ -173,7 +173,7 @@ const dialogue = reify_dialogue([ , ], [ - ,