"div", or "//", is now the operator of division.

1 files changed, 1 insertions, 1 deletions

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 << ")";