# HG changeset patch
# User jwe
# Date 747887291 0
# Node ID cd4df7ad58fa35c92c06e129c62faca68b0ce5e7
# Parent  75a750fd15cefb2ebd1660edd53b2050510eca50
[project @ 1993-09-13 02:28:11 by jwe]
(matrix_exp): Call is_empty instead of empty_arg.

diff -r 75a750fd15ce -r cd4df7ad58fa src/expm.cc
--- a/src/expm.cc	Sun Sep 12 18:24:07 1993 +0000
+++ b/src/expm.cc	Mon Sep 13 02:28:11 1993 +0000
@@ -56,9 +56,6 @@
 			   const Complex*, const int*, double*);
 }
 
-// XXX FIXME XXX
-extern int empty_arg (tree_constant&);
-
 tree_constant
 matrix_exp (tree_constant& a)
 {
@@ -79,7 +76,7 @@
       1.9270852604185938e-9,
     };
 
-  if (empty_arg (tmp))
+  if (tmp.is_empty ())
     {
       int flag = user_pref.propagate_empty_matrices;
       if (flag != 0)