From f3c9d7c7e9c4040cf285c06f7f0d124908bef167 Mon Sep 17 00:00:00 2001
From: Mihail Fedorov <tech@fedorov.net>
Date: Mon, 28 May 2018 14:22:02 +0300
Subject: [PATCH] 2 new chains

---
 src/ac/eql   | 2 ++
 src/ac/glxt  | 2 ++
 src/fiat-cli | 4 ++--
 3 files changed, 6 insertions(+), 2 deletions(-)
 create mode 100755 src/ac/eql
 create mode 100755 src/ac/glxt

diff --git a/src/ac/eql b/src/ac/eql
new file mode 100755
index 000000000..99cfa9a09
--- /dev/null
+++ b/src/ac/eql
@@ -0,0 +1,2 @@
+#!/bin/bash
+./komodo-cli -ac_name=EQL $1 $2 $3 $4 $5 $6
diff --git a/src/ac/glxt b/src/ac/glxt
new file mode 100755
index 000000000..6cedfbf87
--- /dev/null
+++ b/src/ac/glxt
@@ -0,0 +1,2 @@
+#!/bin/bash
+./komodo-cli -ac_name=GLXT $1 $2 $3 $4 $5 $6
diff --git a/src/fiat-cli b/src/fiat-cli
index 8e54aeeb6..6183f35d1 100755
--- a/src/fiat-cli
+++ b/src/fiat-cli
@@ -28,5 +28,5 @@ echo bntn; fiat/bntn $1 $2 $3 $4
 echo chain; fiat/chain $1 $2 $3 $4
 echo prlpay; fiat/prlpay $1 $2 $3 $4
 echo dsec; fiat/dsec $1 $2 $3 $4
-echo dsec; fiat/glxt $1 $2 $3 $4
-echo dsec; fiat/eql $1 $2 $3 $4
+echo glxt; fiat/glxt $1 $2 $3 $4
+echo eql; fiat/eql $1 $2 $3 $4