disable ligatures in \fakeverb (#17)

lvjr · Jan 4, 2025 · 23c83e3 · 23c83e3
1 parent b6e634e
commit 23c83e3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/codehigh.sty b/codehigh.sty
@@ -620,6 +620,7 @@
               { \exp_after:wN \token_to_str:N ##1 }
           }
           { \exp_after:wN \token_to_str:N ##1 }
+        \/ % disable ligatures (#17)
       }
     \group_align_safe_end:
     \group_end: