diff --git a/.vimrc b/.vimrc
index 71e4e53..f53643e 100644
--- a/.vimrc
+++ b/.vimrc
@@ -42,6 +42,9 @@ Plugin 'tpope/vim-fugitive'
 Plugin 'vim-airline/vim-airline'
 Plugin 'vim-airline/vim-airline-themes'
 
+" promela syntax highlighting
+Plugin 'vim-scripts/promela.vim'
+
 " All of your Plugins must be added before the following line
 call vundle#end()            " required
 filetype plugin indent on    " required