Sayak Chatterjee / Mbed 2 deprecated devilsafe

kh

Dependencies:   mbed PinDetect Servo

Diff: main.cpp

Revision:
1:2c365f6da61d
Parent:
0:28e05e1a3d1e
Child:
2:04bbd14722bd
--- a/main.cpp	Sat Nov 10 19:30:54 2018 +0000
+++ b/main.cpp	Sat Nov 10 20:08:46 2018 +0000
@@ -9,9 +9,6 @@
 #include "sleep.h"
 #include "parameters.h"
 
-task main() {
-    SafeStateMachine();
-}
 
 /*
 * Function:  SafeStateMachine
@@ -38,10 +35,14 @@
             state = setup();
             break;
         default:
-            state = locked();
+            state = lock();
         }
     }
 }
 
+int main() {
+    SafeStateMachine();
+}
 
 
+