diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2011-09-21 13:30:09 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2011-09-21 13:30:09 +0000 |
| commit | 89fb9a7fdfc3b1be52026ce3b0badf7889a407b6 (patch) | |
| tree | 140957dfae389c539f5955dc646c9516745112d2 /examples/tutorial/old | |
| parent | 958e81126d9bee7d190e738102836918f37b756b (diff) | |
fix in the proof search. when we start the generation from a template, we must start the refinement from the expression that the typecheker generated
Diffstat (limited to 'examples/tutorial/old')
0 files changed, 0 insertions, 0 deletions