source:
git/Singular/mpsr_Get.aso.cc
@
551fd7
Last change on this file since 551fd7 was 9f0d62, checked in by , 25 years ago | |
---|---|
|
|
File size: 112 bytes |
Line | |
---|---|
1 | #include "aso.h" |
2 | #include "mod2.h" |
3 | #include "mpsr_Get.h" |
4 | main() |
5 | { |
6 | #ifdef HAVE_MPSR |
7 | ASO(mpsr_sleftv); |
8 | #endif |
9 | } |
Note: See TracBrowser
for help on using the repository browser.