From 63c63606ee772be3378fd881c600cac34b020d89 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 25 Mar 2019 17:53:43 -0700
Subject: [PATCH] include path

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/special_relations_decl_plugin.cpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/ast/special_relations_decl_plugin.cpp b/src/ast/special_relations_decl_plugin.cpp
index 6bb5734e5..b5a55cbb4 100644
--- a/src/ast/special_relations_decl_plugin.cpp
+++ b/src/ast/special_relations_decl_plugin.cpp
@@ -17,9 +17,9 @@ Revision History:
 
 --*/
 
-#include<sstream>
-#include"ast.h"
-#include"special_relations_decl_plugin.h"
+#include <sstream>
+#include "ast/ast.h"
+#include "ast/special_relations_decl_plugin.h"
 
 
 
@@ -37,11 +37,11 @@ func_decl * special_relations_decl_plugin::mk_func_decl(
 {
     if (arity != 2) {
         m_manager->raise_exception("special relations should have arity 2");
-        return 0;
+        return nullptr;
     }
     if (domain[0] != domain[1]) {
         m_manager->raise_exception("argument sort missmatch");
-        return 0;
+        return nullptr;
     }
     func_decl_info info(m_family_id, k, num_parameters, parameters);
     symbol name;