calvis/cKanren — pull request #2 by eholk (2012-01-11 18:45:24+00:00)
Title: Adjusting the output in test-divergence.

`test-divergence` was print this:

```
Testing ~s (engine with ~s ticks fuel)
omega10000000
```

This change makes it print this instead, which I think is what was intended.

```
Testing "omega" (engine with 10000000 ticks fuel)
```