Skip to content

Commit

Permalink
deploy: b85bbf6
Browse files Browse the repository at this point in the history
  • Loading branch information
otrho committed Oct 7, 2024
1 parent b576dda commit ad95134
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion specs/theme/pint.js
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ hljs.registerLanguage("pint", (hljs) => ({
name: "Pint",
keywords: {
keyword:
"as bool b256 cond const constraint else enum exists false forall if in int interface macro maximize minimize nil predicate pub real satisfy self solve state storage string true type use var where",
"as bool b256 cond const constraint else exists false forall if in int interface macro maximize minimize nil predicate pub real satisfy self solve state storage string true type union use var where",
literal: "false true",
},
contains: [
Expand Down

0 comments on commit ad95134

Please sign in to comment.