Renamed math lib into lustrec_math to avoid conflicting calls to <math.h>
Showing
- Makefile.in 2 additions, 2 deletionsMakefile.in
- include/lustrec_math.lusi 0 additions, 0 deletionsinclude/lustrec_math.lusi
- include/lustrec_math.smt2 0 additions, 0 deletionsinclude/lustrec_math.smt2
- src/backends/EMF/EMF_library_calls.ml 1 addition, 1 deletionsrc/backends/EMF/EMF_library_calls.ml
Please register or sign in to comment