From 9931c250d4dbc263465dbb5915114d08167a2b6a Mon Sep 17 00:00:00 2001
From: Stephan Seitz <stephan.seitz@fau.de>
Date: Sun, 25 Apr 2021 00:52:33 +0200
Subject: [PATCH] Avoid generic lambdas

This lowers required C++ standard from 14 to 11
---
 src/scanner.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/scanner.cc b/src/scanner.cc
index 6d2268ce..c08f7bc3 100644
--- a/src/scanner.cc
+++ b/src/scanner.cc
@@ -85,7 +85,7 @@ template<class A, class B, class C> function<C(A)> operator*(C (&f)(B), function
   return [=](A a) { return f(g(a)); };
 }
 
-template<class A, class B> function<B(A)> const_(B b) { return [=](auto _) { return b; }; }
+template<class A, class B> function<B(A)> const_(B b) { return [=](A _) { return b; }; }
 
 // --------------------------------------------------------------------------------------------------------
 // Symbols