1 files changed, 1 insertions, 2 deletions
diff --git a/configure b/configure
index bb4730a8..eff36e78 100755
--- a/configure
+++ b/configure
@@ -23828,8 +23828,7 @@ fi
 fi
 
 axiom_use_sman=1
-if test x"$ac_cv_header_pty_h" = xyes \
-     -a x"$ac_cv_have_decl_fork" = xyes \
+if test x"$ac_cv_have_decl_fork" = xyes \
      -a x"$ac_cv_have_decl_wait" = xyes; then \
     axiom_c_runtime="$axiom_c_runtime terminal_io"
     axiom_src_all="$axiom_src_all all-sman all-clef"