From 79b77b1011ce1e3ac4b40c72a14be3a74131c18d Mon Sep 17 00:00:00 2001
From: Joe Hendrix <jhendrix@galois.com>
Date: Sun, 30 Aug 2015 22:56:00 -0700
Subject: [PATCH] fix(api): lean_ios_is_std returned incorrect result

---
 src/api/ios.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/ios.cpp b/src/api/ios.cpp
index 76a7c8d8a..294268b64 100644
--- a/src/api/ios.cpp
+++ b/src/api/ios.cpp
@@ -37,7 +37,7 @@ void lean_ios_del(lean_ios ios) {
 lean_bool lean_ios_is_std(lean_ios ios) {
     if (!ios)
         return lean_false;
-    return dynamic_cast<string_output_channel*>(&to_io_state_ref(ios).get_regular_channel()) != nullptr;
+    return dynamic_cast<string_output_channel*>(&to_io_state_ref(ios).get_regular_channel()) == nullptr;
 }
 
 lean_bool lean_ios_set_options(lean_ios ios, lean_options o, lean_exception * ex) {