add SEC

2018-07-24 09:40:38 +02:00
parent a6c1081c14
commit 3a4954d14e
5 changed files with 7 additions and 2 deletions
--- a/src/fiat-cli
+++ b/src/fiat-cli
@@ -33,3 +33,4 @@ echo eql; fiat/eql $1 $2 $3 $4
 echo zilla; fiat/zilla $1 $2 $3 $4
 echo vrsc; fiat/vrsc $1 $2 $3 $4
 echo rfox; fiat/rfox $1 $2 $3 $4
+echo sec; fiat/sec $1 $2 $3 $4