diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-27 01:11:38 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-27 01:11:38 +0000 |
| commit | 4b0f5a08432dfd77d87b90bf5faf3637b629663c (patch) | |
| tree | 6dea0620468b23c68195c2d3de06b87e03563811 | |
| parent | 7ea8afa20439c579c4a1ccb251a78770ef873787 (diff) | |
| download | klee-4b0f5a08432dfd77d87b90bf5faf3637b629663c.tar.gz | |
emacs .pc mode: Numbers should be recognized before identifiers
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@74365 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | utils/emacs/klee-pc-mode.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/utils/emacs/klee-pc-mode.el b/utils/emacs/klee-pc-mode.el index e64758ef..3d68b1cf 100644 --- a/utils/emacs/klee-pc-mode.el +++ b/utils/emacs/klee-pc-mode.el @@ -34,13 +34,13 @@ '("\\bEq\\b\\|\\bNe\\b\\|\\bOr\\b\\|\\bAdd\\b\\|\\bSub\\b\\|\\bMul\\b\\|\\bAnd\\b\\|\\bShl\\b\\|\\bXor\\b\\|\\bNot\\b\\|\\bNeg\\b\\|\\bUlt\\b\\|\\bUle\\b\\|\\bUgt\\b\\|\\bUge\\b\\|\\bSlt\\b\\|\\bSle\\b\\|\\bSgt\\b\\|\\bSge\\b\\|\\bRead\\b\\|\\bAShr\\b\\|\\bLShr\\b\\|\\bUDiv\\b\\|\\bSDiv\\b\\|\\bURem\\b\\|\\bSRem\\b\\|\\bSExt\\b\\|\\bZExt\\b\\|\\bConcat\\b\\|\\bSelect\\b\\|\\bExtract\\b\\|\\bReadLSB\\b\\|\\bReadMSB\\b" . font-lock-function-name-face) ;; Types '("w[0-9]+" . font-lock-type-face) - ;; Identifiers - '("[_a-zA-Z][a-zA-Z_.0-9]*" . font-lock-variable-name-face) ;; Numbers '("[+-]?0b[01_]+" . font-lock-preprocessor-face) '("[+-]?0o[0-7_]+" . font-lock-preprocessor-face) '("[+-]?0x[a-zA-Z0-9_]+" . font-lock-preprocessor-face) '("[+-]?[0-9]+" . font-lock-preprocessor-face) + ;; Identifiers + '("[_a-zA-Z][a-zA-Z_.0-9]*" . font-lock-variable-name-face) ) "klee-PC mode keywords") |