;; Copyright (C) 2018 Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.


;; *** Handling variable names ***


(define gl-ht-var-orig-names '())


(define (get-var-orig-name s-new-name)
  (if (not-null? gl-ht-var-orig-names)
      (let ((s-orig-name (hashq-ref gl-ht-var-orig-names s-new-name)))
	(if s-orig-name s-orig-name s-new-name))
      s-new-name))
