diff options
Diffstat (limited to 'src/proof/abs/module.make')
-rw-r--r-- | src/proof/abs/module.make | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/abs/module.make b/src/proof/abs/module.make index 4e652afd..4dd463e2 100644 --- a/src/proof/abs/module.make +++ b/src/proof/abs/module.make @@ -10,6 +10,6 @@ SRC += src/proof/abs/abs.c \ src/proof/abs/absOut.c \ src/proof/abs/absPth.c \ src/proof/abs/absRef.c \ - src/proof/abs/absRef2.c \ + src/proof/abs/absRefSelect.c \ src/proof/abs/absVta.c \ src/proof/abs/absUtil.c |