From a7ead5fc14525b925f7fd77c26b9a3d757ebeb82 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 21 May 2015 14:12:28 -0700
Subject: [PATCH] fix(library/relation_manager): typo

---
 src/library/relation_manager.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/library/relation_manager.cpp b/src/library/relation_manager.cpp
index 9b13d15a5..8dacca1e4 100644
--- a/src/library/relation_manager.cpp
+++ b/src/library/relation_manager.cpp
@@ -85,6 +85,7 @@ struct rel_state {
                     throw_invalid_relation(rop);
             }
             type = binding_body(type);
+            i++;
         }
         if (lhs_pos && rhs_pos) {
             m_rop_table.insert(rop, relation_info(i, *lhs_pos, *rhs_pos));