From 63606fd2d0eaeb374d22116a5a6159a9ae7c12f5 Mon Sep 17 00:00:00 2001
From: "John J. Camilleri" <john@digitalgrammars.com>
Date: Mon, 10 Jun 2019 09:29:43 +0200
Subject: [PATCH] Minor indentation fixes in gflib.js
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Despite it being deprecated 🙈
---
 src/runtime/javascript/gflib.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/runtime/javascript/gflib.js b/src/runtime/javascript/gflib.js
index 45bb32d3d..0dc5a2ff3 100644
--- a/src/runtime/javascript/gflib.js
+++ b/src/runtime/javascript/gflib.js
@@ -391,11 +391,11 @@ GFConcrete.prototype.unlex = function (ts) {
 };
 GFConcrete.prototype.tagIt = function (obj, tag) {
   if (isString(obj)) {
-  var o = new String(obj);
-  o.setTag(tag);
-  return o;
+    var o = new String(obj);
+    o.setTag(tag);
+    return o;
   } else {
-  var me = arguments.callee;
+    var me = arguments.callee;
     if (arguments.length == 2) {
       me.prototype = obj;
       var o = new me();