diff --git a/src/ast/euf/euf_ematch.h b/src/ast/euf/euf_ematch.h
index 7f04512fb..53b446566 100644
--- a/src/ast/euf/euf_ematch.h
+++ b/src/ast/euf/euf_ematch.h
@@ -31,7 +31,7 @@ namespace euf {
             g(g)
         {}
 
-        void operator()(expr* pat, enode* t, enode** binding) {}        
+        void operator()(expr* pat, enode* t, enode** binding);      
             
     };
 }