corrected a bug in var_subst

1 job for hashcons in 2 minutes and 14 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
failed #4405
build

00:02:14

 
Name Stage Failure
failed
build Test
Proof file test/fail/enc.apo: 

Failed to fail:
Failed successfully:
test/fail/enc.api

Some tests failed:
test/ok/nsl.api
ERROR: Job failed: exit status 1