From 207cddf520024052b4da9040aa3a9636f30924db Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Wed, 10 Jun 2009 13:36:26 +0200
Subject: [PATCH] Let pret-lam escape _ characters.

---
 pret-lam.lua | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pret-lam.lua b/pret-lam.lua
index 15fcf9a..94dd810 100644
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -19,6 +19,7 @@ buffers.visualizers.lam.colors = {
 
 buffers.visualizers.lam.tokens = {
     [' '] = {repr = '\\obs '},
+    ['_'] = {repr = '\\_'},
     ['->'] = {repr = '\\rightarrow'},
     ['case'] = {style = 'bold'},
     ['of'] = {style = 'bold'},
-- 
2.30.2