Use assoc instead of assq in fstar-wiki--read-topic - Githubissues

FStarLang / fstar-mode.el

Emacs support for F*

Apache License 2.0

67 stars 17 forks source link

Use assoc instead of assq in fstar-wiki--read-topic #135

Closed mjoerg closed 1 year ago

cpitclaudel commented 1 year ago

Good catch!