From 8a98fa2ac9109e7fb9dc527ee70d5d083d37fb54 Mon Sep 17 00:00:00 2001
From: Richie Bendall <richiebendall@gmail.com>
Date: Mon, 30 Mar 2020 18:57:13 +1300
Subject: [PATCH] Add Promela

Fixes: #590
Co-Authored-By: Paulo Viana <paulo9mv@yahoo.com.br>
---
 README.md     | 1 +
 p/promela.pml | 3 +++
 2 files changed, 4 insertions(+)
 create mode 100644 p/promela.pml

diff --git a/README.md b/README.md
index c6544305..9f109f68 100755
--- a/README.md
+++ b/README.md
@@ -440,6 +440,7 @@ Meet [FizzBuzz](https://github.com/zenware/FizzBuzz), the evolution of [hello-wo
 * [Powershell](p%5Cpowershell.ps1)
 * [Processing](p%5Cprocessing.pde)
 * [Prolog](p%5Cprolog.pro)
+* [Promela](p%5Cpromela.pml)
 * [Pug](p%5Cpug.pug)
 * [Pure Data](p%5Cpure_data.pd)
 * [Purebasic](p%5Cpurebasic.pb)
diff --git a/p/promela.pml b/p/promela.pml
new file mode 100644
index 00000000..4dc3a9b8
--- /dev/null
+++ b/p/promela.pml
@@ -0,0 +1,3 @@
+active proctype main(){
+  printf("Hello World")
+}