From 379181092032b105c35d2b0576233633d212e97e Mon Sep 17 00:00:00 2001
From: Doug Woos <doug.woos@gmail.com>
Date: Mon, 30 Jan 2017 15:09:57 -0800
Subject: [PATCH] add const &

---
 src/tactic/model_converter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tactic/model_converter.cpp b/src/tactic/model_converter.cpp
index 061d12afa..efe80f226 100644
--- a/src/tactic/model_converter.cpp
+++ b/src/tactic/model_converter.cpp
@@ -130,7 +130,7 @@ class model2mc : public model_converter {
 public:
     model2mc(model * m):m_model(m) {}
 
-    model2mc(model * m, buffer<symbol> r):m_model(m), m_labels(r) {}
+    model2mc(model * m, buffer<symbol> const & r):m_model(m), m_labels(r) {}
 
     virtual ~model2mc() {}