From 5453225b5d426168b4e916c120b6b7b5ed666e5f Mon Sep 17 00:00:00 2001
From: damirka <damirka.ru@gmail.com>
Date: Thu, 19 Aug 2021 20:28:43 +0300
Subject: [PATCH] fix bash variables

---
 .github/workflows/acl2.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/acl2.yml b/.github/workflows/acl2.yml
index 66169b694e..ecfff270ae 100644
--- a/.github/workflows/acl2.yml
+++ b/.github/workflows/acl2.yml
@@ -62,13 +62,13 @@ jobs:
             echo "Canonicalization - Success!"
           else
             echo "Canonicalization Failures:";
-            for $dir in ${canonicalization_errors[@]};
+            for dir in ${canonicalization_errors[@]};
             do
               echo $dir;
             done;
 
             echo "Attaching logs:"
-            for $dir in ${canonicalization_errors[@]};
+            for dir in ${canonicalization_errors[@]};
             do
               cat tmp/tgc/$dir/canonicalization_result.out
             done;
@@ -79,13 +79,13 @@ jobs:
             echo "Type Inference - Success!"
           else
             echo "Type Inference Failures:";
-            for $dir in ${type_inference_errors[@]};
+            for dir in ${type_inference_errors[@]};
             do
               echo $dir;
             done;
 
             echo "Attaching logs:"
-            for $dir in ${type_inference_errors[@]};
+            for dir in ${type_inference_errors[@]};
             do
               cat tmp/tgc/$dir/type_inference_result.out
             done;