diff options
Diffstat (limited to 'src/algebra/Makefile.am')
| -rw-r--r-- | src/algebra/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am index d994e5c6..7cbdb34b 100644 --- a/src/algebra/Makefile.am +++ b/src/algebra/Makefile.am @@ -97,7 +97,7 @@ INPUT=../input STAMP = echo timestamp > # Extension of the output file name returned by compile-file -FASLEXT = @axiom_fasl_type@ +FASLEXT = @oa_fasl_type@ oa_hammer = $(top_builddir)/src/utils/hammer$(EXEEXT) |