From 8e90d17a0ba53eb120a674eb0033f27adddacf9b Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 19 Jan 2014 23:28:12 -0800
Subject: [PATCH] fix(library/hop_match): style

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/library/hop_match.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/hop_match.cpp b/src/library/hop_match.cpp
index a9f9be9a9..ce60f6caa 100644
--- a/src/library/hop_match.cpp
+++ b/src/library/hop_match.cpp
@@ -256,7 +256,7 @@ class hop_match_fn {
                         return true;
                     }
                 }
-            } if (all_free_vars_are_assigned(p, ctx_size)) {
+            } else if (all_free_vars_are_assigned(p, ctx_size)) {
                 instantiate_free_vars_proc proc(*this, ctx_size);
                 expr new_p = proc(p);
                 return new_p == t;