From c5795c66c9044c347332812498b888787e0edd4a Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 31 Jan 2009 01:21:14 -0400
Subject: "div", or "//", is now the operator of division.

---
 src/op.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/op.cc')

diff --git a/src/op.cc b/src/op.cc
index a39ac532..215c6864 100644
--- a/src/op.cc
+++ b/src/op.cc
@@ -291,7 +291,7 @@ bool expr_t::op_t::print(std::ostream& out, const context_t& context) const
     out << "(";
     if (left() && left()->print(out, context))
       found = true;
-    out << " / ";
+    out << " // ";
     if (has_right() && right()->print(out, context))
       found = true;
     out << ")";
-- 
cgit v1.2.3