Commitfab37c4

committed

Undo last commit, something different is necessary.

1 parentf0176c2 commitfab37c4Copy full SHA for fab37c4

File tree

-4

lines changed

-4

lines changed

Lines changed: 1 addition & 4 deletions

Original file line number	Diff line number	Diff line change
`@@ -86,10 +86,7 @@ correct(M) ->`
`86`	`86`	`end)).`
`87`	`87`
`88`	`88`	`qc_opts()->`
`89`		`-% ?SERVER:start_link/1 uses a locally registered process name, so it must`
`90`		`-% only be called once and that requires max_size be 1`
`91`		`- [{numtests,10000},`
`92`		`- {max_size,1}].`
	`89`	`+ [{numtests,10000}].`
`93`	`90`
`94`	`91`	`qc_pq()->`
`95`	`92`	`proper:quickcheck(pqueue_proper:correct(pqueue),qc_opts()).`

Comments

(0)