diff options
Diffstat (limited to 'Tools/CodeGen/Kranc.m')
| -rw-r--r-- | Tools/CodeGen/Kranc.m | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tools/CodeGen/Kranc.m b/Tools/CodeGen/Kranc.m index a3bf3e5..93035db 100644 --- a/Tools/CodeGen/Kranc.m +++ b/Tools/CodeGen/Kranc.m @@ -55,6 +55,7 @@ SimpleCode}; (* MoL.m *) MoLEvolved; +MoLRHS; (* Differencing.m *) |