diff options
author | Andy Wingo <wingo@pobox.com> | 2018-06-20 17:19:31 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2018-06-20 17:19:31 +0200 |
commit | 3068bc738429286db225b618607848a5a40f82ce (patch) | |
tree | 08c08d876f01a3e48c3352821a47275309bd0402 /libguile/random.c | |
parent | 51e36329d8055dd61f6fcb211fc200abb7299934 (diff) | |
download | guile-3068bc738429286db225b618607848a5a40f82ce.tar.gz |
Make libguile header inclusion consistent within libguile c files
Change from '#include "libguile/foo.h"' and '#include <libguile/foo.h>'
to '#include "foo.h"'.
Diffstat (limited to 'libguile/random.c')
-rw-r--r-- | libguile/random.c | 40 |
1 files changed, 20 insertions, 20 deletions
diff --git a/libguile/random.c b/libguile/random.c index d7901d61a..30364c1c1 100644 --- a/libguile/random.c +++ b/libguile/random.c @@ -32,25 +32,25 @@ #include <sys/types.h> #include <unistd.h> -#include "libguile/gsubr.h" -#include "libguile/smob.h" -#include "libguile/generalized-arrays.h" -#include "libguile/list.h" -#include "libguile/numbers.h" -#include "libguile/feature.h" -#include "libguile/modules.h" -#include "libguile/numbers.h" -#include "libguile/pairs.h" -#include "libguile/stime.h" -#include "libguile/strings.h" -#include "libguile/symbols.h" -#include "libguile/arrays.h" -#include "libguile/srfi-4.h" -#include "libguile/variable.h" -#include "libguile/vectors.h" -#include "libguile/generalized-vectors.h" - -#include "libguile/random.h" +#include "gsubr.h" +#include "smob.h" +#include "generalized-arrays.h" +#include "list.h" +#include "numbers.h" +#include "feature.h" +#include "modules.h" +#include "numbers.h" +#include "pairs.h" +#include "stime.h" +#include "strings.h" +#include "symbols.h" +#include "arrays.h" +#include "srfi-4.h" +#include "variable.h" +#include "vectors.h" +#include "generalized-vectors.h" + +#include "random.h" /* @@ -802,7 +802,7 @@ scm_init_random () for (i = m >> 1; i < m; ++i) scm_masktab[i] = m - 1; -#include "libguile/random.x" +#include "random.x" scm_add_feature ("random"); } |